CMSimulator

Simulator voor countermachines en formele grammatica's.

CMSimulator app helpt je om vier van de meest bekende countermachines beter te begrijpen - Finite State Automaton, Pushdown Automaton, Linear Bounded Automaton, Turing machine. U kunt nieuwe oplossingen maken of bestaande oplossingen vanuit bestanden laden. De applicatie bevat ook voorbeelden (voor elk type machine).

Bovendien helpt de applicatie je ook om vier soorten formele grammatica's uit de Chomsky-hiërarchie beter te begrijpen: reguliere grammatica, contextloze grammatica, contextgevoelige grammatica, onbeperkte grammatica. U kunt nieuwe oplossingen maken of bestaande oplossingen vanuit bestanden laden. De applicatie bevat ook voorbeelden.

U kunt een lijst met symbolen, toestanden en overgangsregels maken en ook de begin- en eindtoestand kiezen. Vervolgens kunt u de tape vullen en de oplossing stap voor stap simuleren, of direct naar het einde van de simulatie gaan. U kunt ook elk bandelement als breekpunt markeren om de simulatie te pauzeren wanneer de machine dit breekpunt bereikt.

Niet-deterministische machines en oplossingen worden ook ondersteund.

U kunt uw eigen grammatica definiëren, woorden testen als deze tot de gedefinieerde grammatica behoren en het afleidingsproces visualiseren met 4 verschillende soorten visualisaties: tabel met afleidingen, afleidingsboom, lineaire afleiding, vaste afleiding. De applicatie bevat ook een interactieve functie waarmee u meerdere woorden tegelijkertijd kunt testen.

De applicatie is nog in ontwikkeling. Laat het me weten als je fouten ontdekt.