CMSimulator

Simulatore per macchine da banco e grammatiche formali.

L'app CMSimulator ti aiuta a comprendere meglio quattro dei più noti sportelli automatici: Automa di stato finito, Automa di spinta, Automa limitato lineare, Macchina di Turing. È possibile creare nuovi o caricare soluzioni esistenti dai file. L'applicazione contiene anche esempi (per ogni tipo di macchina).

Inoltre l'applicazione ti aiuta a comprendere meglio quattro tipi di grammatiche formali dalla gerarchia di Chomsky: grammatica regolare, grammatica libera dal contesto, grammatica sensibile al contesto, grammatica senza restrizioni. È possibile creare nuovi o caricare soluzioni esistenti dai file. L'applicazione contiene anche esempi.

È possibile creare un elenco di simboli, stati, regole di transizione e anche scegliere gli stati iniziale e finale. Quindi è possibile riempire il nastro e simulare la soluzione passo dopo passo oppure passare direttamente alla fine della simulazione. È inoltre possibile contrassegnare qualsiasi elemento nastro come punto di interruzione per sospendere la simulazione quando la macchina raggiunge questo punto di interruzione.

Sono supportate anche macchine e soluzioni non deterministiche.

È possibile definire la propria grammatica, testare le parole se appartengono alla grammatica definita e visualizzare il processo di derivazione con 4 diversi tipi di visualizzazioni: tabella di derivazione, albero di derivazione, derivazione lineare, derivazione fissa. L'applicazione contiene anche una funzione interattiva in cui è possibile testare più parole contemporaneamente.

L'applicazione è ancora in sviluppo. Per favore, fammi sapere se trovi qualche bug.