Automātu Teorija un Formālās Gramatikas

Kursiem, kurus es vadu bakalauru programmā (Automātu Teorija un Formālas Gramatikas), ir nepieciešams rīku atbalsts! Gribētos tīmekļa rīku, kas ļautu būvēt galīgus automātus (determinētus, nedeterminētus, magazīnas), darbināt, atkļūdot, kā arī citas labas lietas, ko apskatām kursā (pārveidot, minimizēt, utt. ...). Kaut kas uz Automata Tutor pusi!

Pavisam interesanta lieta ir uzdevumu risinājumu automātiska novērtēšana! Pavisam jauki būtu arī, ja varētu ģenerēt unikālus uzdevumus!

Vai magazīnas automātiem ir normālforma, ar labām īpašībām, kā tas ir Greibahas vai Čomska NF bezkonteksta gramatikām?