"author:gkavin2527" matching MCP servers:

Enables users to construct, validate, simulate, and export finite automata, pushdown automata, Turing machines, and context-free grammars, with authoritative Python acceptance results and optional JFLAP .jff generation and visual display.