<?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">