Automātu Teorija un Formālās Gramatikas
Kursiem, kurus es vadīju 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! Protams, laba lieta ir arī automātiska kļūdu izskaidroš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?