Automaton Studio

A toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.

TODOs

1. Finite State Machine
   • Minimize finite state machine
   • Convert Non-deterministic FSM to Deterministic FSM
   • Convert FSM to regular expression
   • FSM simulation
   • FSM Union, Intersection, and Difference
   • FSM Reverse, Complement, and Kleen
   • FSM language subset, infinite, and empty
   • FSM to Regular Grammar
   • FSM enumeration
2. Regular Expression
   • Convert regular expression to FSM
   • Parse regular expression from string
   • Regular expression simulation
   • Regular expression simplification
   • Regular expression enumeration
3. Context-free Grammar
   • Context-free Grammar simulation
   • Context-free Grammar parsing
4. Pushdown Automaton
5. Turing Machine
6. Propositional Logic
   • Truth Tables
   • Truth-functional connectors
   • Material-implication and bi-implication
   • Set theory inference and prove
7. Lambda Calculus
8. Formal Semantics
9. Natural Logic and Monotonicity

Run

npm start run