Ročníkový projekt

Automaty

projekt::špecifikácia::regexp

Špecifikácia

Program bude interpretovať niektoré známe konečné automaty, predovšetkým pomocou regulárnych výrazov v Perle.
Cieľom bude hlavne priblížiť samozrejmú súvislosť automatov a regulárnych výrazov, ktorú si však nie každý tak samozrejme uvedomuje.
Regulárne výrazy v Perle (regexpy) sú interpretované pomocou konečných automatov. Program sa pokúsi naopak interpretovať konečné automaty pomocou regexpov.
Budem programovať v programovacom jazyku Perl.

Časový plán

1. etapa
web stránka
2. etapa
návrh štruktúry objektov
generátor jazyka Sigma*
interpretácia konkrétnych konečných automatov pomocou najvhodnejších regulárnych výrazov
vykresľovanie automatov
3. etapa
efektívna interpretácia konečných automatov pomocou regulárnych výrazov
testovanie
4. etapa
užívateľské rozhranie: užívateľ si zadá automat, program vráti regexp, aplikuje na zadanú abecedu, vykreslí automat do bitmapy
dokumentácia - definície použitých automatov a regulárnych výrazov, prezentácia automatov z 2. etapy, popis efektívnych konverzií, návod na použitie

možné rozšírenia
LBA, A-prekladače, Lindermayerove systémy
GUI