cogAutomata & Grammar Playground
Made for CS Theory course project

Select Workspace

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

© 2026 Luka Mamukashvili

The FatCow Icon set was created by FatCow Web Hosting.It's licensed free of charge under the creative_commons Creative Commons Attribution 3.0 License.