automaton

An automaton library & basic programs written in Rust
git clone git://git.ethandl.dev/automaton
Log | Files | Refs | README

index.html (1847B)


      1 <!doctype html>
      2 <html lang="en-US">
      3   <head>
      4     <meta charset="utf-8" />
      5     <title>Automaton</title>
      6   </head>
      7   <body>
      8     <script type="module" src="/dist/main.js"></script>
      9     <h1>DFA Regular Expression engine</h1>
     10     <div>
     11       <label for="regex">Regex string:</label>
     12       <input type="text" id="regex" name="regex"><button type="submit" id="submitRegex">Make Automaton</button><span id="regexError"></span><br>
     13     </div>
     14     <div>
     15       <label for="inputString">Input string:</label>
     16       <input type="text" id="inputString" name="inputString"><br>
     17     </div>
     18     <div>
     19       <p>
     20         Automaton accepts input: <span id="acceptance">true</span>
     21       </p>
     22     </div>
     23     <div style="text-align: center">
     24       <div style="display: inline-block; text-align: center; width: 32%">
     25         ε-NFA: <br>
     26         <svg id="enfaSVGElement" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"
     27              width="500" height="500"
     28              xmlns:ev="http://www.w3.org/2001/xml-events" style="overflow: hidden; width: 100%">
     29         </svg>
     30       </div>
     31       <div style="display: inline-block; text-align: center; width: 32%">
     32         NFA: <br>
     33         <svg id="nfaSVGElement" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"
     34              width="500" height="500"
     35              xmlns:ev="http://www.w3.org/2001/xml-events" style="overflow: hidden; width: 100%">
     36         </svg>
     37       </div>
     38       <div style="display: inline-block; text-align: center; width: 32%">
     39         DFA:<br>
     40         <svg id="dfaSVGElement" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"
     41              width="500" height="500"
     42              xmlns:ev="http://www.w3.org/2001/xml-events" style="overflow: hidden; width: 100%">
     43         </svg>
     44       </div>
     45     </div>
     46   </body>
     47 </html>