- Accepting or rejecting a string with Finite Automata
- Converting NFA to DFA
- Minimizing DFA
- Accepting or rejecting a string based on the input grammar
- PDA calculator
- This calculator gets a math expression and calculates it.
- Turing machine
- Gets a string of an encoded Turing machine, then decodes it and checks some input strings on this machine.