<?php
session_start();
require_once "DFA.php";
if (isset($_POST['submit'])) {
$_SESSION['states'] = file_get_contents($_FILES['inputFile']['tmp_name']);
$objDFA = new DFA();
$objDFA->getFromFile($_FILES['inputFile']['tmp_name']);
//echo $objDFA->getStateSequence("011");
//$objDFA->displayTransition();
//echo '<br />';
/*
if ($objDFA->isAccepted("011"))
echo "ACCEPTED";
else
echo "REJECTED";
*/
}
?>
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8" />
<link rel="stylesheet" type="text/css" href="libs/bootstrap-3.3.7-dist/css/bootstrap.min.css">
<link rel="stylesheet" type="text/css" href="style.css" />
<title>DFA Simulator</title>
</head>
<body>
<div class="container">
