Tutorial

Contents:

• Deterministic finite automata
  • Loading DFAs from files
  • Creating DFAs in code
  • Editing DFAs graphically
  • Inspecting DFAs
  • Running DFAs
• Nondeterministic finite automata
  • Creating NFAs
  • Running NFAs
• Regular expressions
  • From regular expressions to NFAs
  • From NFAs to regular expressions
• Context-free grammars
  • Creating CFGs
  • From CFGs to PDAs
    • Shift-reduce parsing
    • LL(1) parsing
    • LR parsing
  • From PDAs to CFGs
• Pushdown automata
  • Creating PDAs
  • Running PDAs
• Turing machines
  • Creating TMs
  • Running TMs
• More general machines
  • Store types
    • BASE
    • STREAM
    • TAPE
  • Low-level interface