CMSimulator

Simulator untuk mesin penghitung dan tata bahasa formal.

Aplikasi CMSimulator membantu Anda untuk lebih memahami empat mesin penghitung yang paling dikenal - Automaton Negara Hingga, Automat Pushdown, Automaton Terikat Linier, mesin Turing. Anda dapat membuat yang baru atau memuat solusi yang ada dari file. Aplikasi ini juga berisi contoh (untuk setiap jenis mesin).

Selain itu aplikasi ini juga membantu Anda untuk lebih memahami empat jenis tata bahasa formal dari hierarki Chomsky - Tata bahasa reguler, tata bahasa bebas konteks, tata bahasa peka konteks, tata bahasa tidak dibatasi. Anda dapat membuat yang baru atau memuat solusi yang ada dari file. Aplikasi ini juga berisi contoh-contoh.

Anda dapat membuat daftar simbol, status, aturan transisi dan juga memilih status awal dan akhir. Kemudian Anda dapat mengisi kaset dan mensimulasikan solusi langkah demi langkah, atau langsung menuju akhir simulasi. Anda juga dapat menandai elemen pita sebagai breakpoint untuk menjeda simulasi saat mesin mencapai breakpoint ini.

Mesin dan solusi non-deterministik juga didukung.

Anda dapat mendefinisikan tata bahasa Anda sendiri, menguji kata-kata jika itu milik tata bahasa yang ditentukan dan memvisualisasikan proses derivasi dengan 4 jenis visualisasi yang berbeda - Tabel derivasi, pohon derivasi, derivasi linier, derivasi tetap. Aplikasi ini juga berisi fitur interaktif di mana Anda dapat menguji beberapa kata secara bersamaan.

Aplikasi ini masih dalam pengembangan. Tolong, beri tahu saya jika Anda menemukan bug.