DFA
Deterministic finite automaton visualizer and simulation tools.
CFG
Context-free grammar derivations and parsing workspace.
Resolution
Propositional logic resolution tools and proof generation.
AST Forms
Normal forms representation and syntax tree evaluation.