Automātu Teorija un Formālās Gramatikas

No ''Agra piezīmju blociš''
Versija 2016. gada 22. februāris, plkst. 22.05, kādu to atstāja Agree (Diskusija | devums) (AT un FG)
Pārlēkt uz: navigācija, meklēt

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?

Saturs iegūts no "http://agris.oranzais.lumii.lv/index.php?title=Automātu_Teorija_un_Formālās_Gramatikas&oldid=56"