Poznámka: V prípade klasifikácie gramatík a jazykov do jednej z tried Chomskeho hierarchie budeme vždy uvažovať najnižšie položenú triedu, do ktorej možno gramatiku resp. jazyk klasifikovať.

Navrhnite deterministický konečnostavový automat (DFA) pre jazyk špecifikovaný nasledujúcim regulárnym výrazom využitím metódy tokenov a naprogramujte jeho iteratívnu implementáciu:

{o|(o|qC)q}

Pri riešení zadania sa riaďte nasledujúcimi technickými pokynmi k jeho vypracovaniu a odovzdaniu. Stiahnite si a dekomprimujte kostru riešenia, ktorá má nasledujúcu štruktúru:

• specification.fsa – súbor s formálnou špecifikáciou výsledného DFA. Súbor musí obsahovať abecedu automatu, stavy vrátane ich anotácií, prechody, počiatočný stav a akceptačné stavy zapísané v doménovo-špecifickom jazyku predstavenom na prednáškach. Samotný postup návrhu automatu je nutné taktiež písomne zdokumentovať na priloženom pomocnom hárku papiera.
• automaton.py – skript s definíciou triedy DFA, ktorú je potrebné implementovať. Táto trieda musí obsahovať verejnú metódu check s parametrom reprezentujúcim vstupný reťazec a návratovou (pravdivostnou) hodnotou určujúcou, či daný reťazec patrí alebo nepatrí do jazyka špecifikovaného zadaným regulárnym výrazom. V tomto skripte nie je povolené využívať žiadnu rekurziu.
• main.py – skript na manuálne testovanie implementácie. Tento skript spustíte v adresári so súbormi riešenia príkazom py main.py.
• check_fsa_syntax.py – skript na overenie syntaxe súboru specification.fsa. Tento skript spustíte v adresári so súbormi riešenia príkazom py check_fsa_syntax.py.

Nech gramatika obsahuje nasledujúce prepisovanie pravidlo v EBNF: . Aká je asociativita operácie ?

Klasifikujte gramatiku  do jednej z tried Chomskeho hierarchie gramatík kde je nasledujúca množina pravidiel:

Vašou úlohou je navrhnúť gramatiku jazyka kalkulačky a implementovať jeho syntaxou riadený interpretér metódou rekurzívneho zostupu.  Tento jazyk bude podporovať nasledujúce operácie, syntax operátorov je uvedená v zátvorkách:

• sčítanie (+) a odčítania (-) so štandardnou prioritou a pravou asociativitou,
• unárne mínus (-) so štandardnou prioritov,
• umocňovanie (^) so štandardnou prioritou a ľavou asociativitou.

• Lexer.py - obsahuje funkčnú implementáciu lexikálneho analyzátora (trieda Lexer) vyššie špecifikovaného jazyka.
• Parser.py - trieda Parser, parse metódu ktorej je treba implementovať. Táto metóda má ako návratovú hodnotu poskytnúť číslo zodpovedajúce výsledku interpretovaného reťazca. V prípade ak dôjde k syntaktickej chybe vyvolá sa výnimka SyntaxError, na obsahu sprievodnej správy pritom nezáleží.
• main.py - script na manuálne testovanie zadania. Číta reťazce zo vstupu a pokúša sa ich interpretovať.

Pri riešení nie je povolené využívať žiadne externé knižnice, meniť názvy jednotlivých súborov, tried, či metód. Po doplnení potrebnej funkcionality zabaľte vaše riešenie (príslušnú trojicu súborov) do zip archívu a nahrajte ho ako odpoveď. Na pomenovaní archívu nezáleží.