Simulátor teórie automatov

Počet tímov: 1
Vedúci tímu: Mgr. Daniela Chudá, PhD.

Teóriu formálnych jazykov a automatov uviedol Noam Chomsky ako čas» teórie počítačovej vedy uľ v 1955. Moderné aplikácie formálnych jazykov a automatov sa objavujú najmä v oblasti tvorby návrhu kompilátorov a popise abstraktných výpočtových zariadení. ©tudenti informatiky na celom svete sa stretávajú v bakalárskom ątúdiu s výukou formálnych jazykov a automatov, ktorá je nezriedka vedená tradične bez podpory simulátorov. Pri ątúdiu formálnych výpočtových modelov sa vyskytne mnoľstvo otázok: "Ako vysvetli» či znázorni» funkcionalitu a činnos» automatu - abstraktného výpočtového zariadenia?", "Ako prepoji» informácie medzi matematickým zápisom zariadenia a funkcionalitou výpočtového zariadenia predstavujúcou sekvenčný proces, ako prepoji» stavový diagram s prechodovou funkciou a vstupom?" "Ako vizualizova» nedeterminizmus výpočtových zariadení?".
Vytvorte integrovaný nástroj pre simuláciu, vizualizáciu a testovanie rôznych výpočtových zariadení, ako konečný automat, zásobníkový automat, turingov stroj, RAM, počítadlový stroj, generátor gramatík. Nástroj by mal umoľňova»:

• prácu s preddefinovanými výpočtovými zariadeniami, roząírenie o prácu s operáciami nad výpočtovými zariadeniami,
• definovanie svojich vlastných zariadení,
• prácu s nedeterministickými výpočtovými zariadeniami,
• moľnos» testovania ątudentov, generovanie problémových situácii nad zariadením aj s kontrolným rieąením,
• jednoduché rozhranie a ovládanie, export a import jednotlivých výpočtových zariadení, zachovanie bezpečného prístupu k informáciám o testovaní vedomostí ątudentov, modularita a roząíriteµnos».

Naąi ątudenti vyuľívajú pri ątúdiu rôzne parciálne simulátory, naprogramované na iných univerzitách či naprogramované priamo naąimi ątudentami. Práca so simulátormi patrí k najobµúbenejąím činnostiam v predmete. Nástroj pokrývajúci ąiroké spektrum problematiky formálnych jazykov a automatov je JFLAP .