CMSimulator

Simulator untuk mesin kaunter dan tatabahasa formal.

Aplikasi CMSimulator membantu anda untuk memahami lebih kurang empat mesin kaunter yang paling dikenali - Automaton Negeri Automaton, Automaton Pushdown, Linear Bounded Automaton, mesin Turing. Anda boleh membuat penyelesaian baru atau memuat penyelesaian yang sedia ada daripada fail. Aplikasi ini juga mengandungi contoh (untuk setiap jenis mesin).

Tambahan pula, aplikasi ini juga membantu anda memahami empat jenis tatabahasa rasmi dari hierarki Chomsky - Tatabahasa biasa, Tatabahasa bebas konteks, Tatabahasa sensitif konteks, Tatabahasa yang tidak terhad. Anda boleh membuat penyelesaian baru atau memuat penyelesaian yang sedia ada daripada fail. Aplikasi ini juga mengandungi contoh.

Anda boleh membuat senarai simbol, negeri, peraturan peralihan dan juga memilih negeri awal dan terakhir. Kemudian anda boleh mengisi pita dan mensimulasikan langkah penyelesaian secara berturut-turut, atau pergi terus ke akhir simulasi. Anda juga boleh menandakan sebarang elemen pita sebagai titik putus untuk menjeda simulasi apabila mesin mencapai titik putus ini.

Mesin dan penyelesaian nondeterministik juga disokong.

Anda boleh mentakrifkan tatabahasa anda sendiri, menguji kata-kata jika mereka tergolong dalam tatabahasa yang ditakrifkan dan memvisualisasikan proses terbitan dengan 4 jenis visualisasi - Jadual derivasi, pokok Derivasi, Derivasi Linear, Derivasi tetap. Aplikasi ini juga mengandungi ciri interaktif di mana anda boleh menguji pelbagai perkataan pada masa yang sama.

Permohonan masih dalam pembangunan. Tolong beritahu saya jika anda mendapati sebarang bug.