Módy

V následujícím textu vytvoříme módy pro:

Přijímání vstupu z různých zdrojů
a to nejen z prologovských řetězců, ale rovněž ze souborů. V tomto případě stačí doplnit implementaci jediného primitiva pro daný typ vstupního textu.
Efektivní přenos a distribuci dat s globálním charakterem,
jako jsou různé tabulky a okolí.
Globální určení chování klíčových konstruktorů,
například kombinátoru alternativní kompozice a způsobu jeho vykonávání.
Přenos stavových informací výpočtu.
Příkladem takové informace může být pozice ve vstupním textu či propagace hlášení o výskytu výjimečné události.
Statickou a dynamickou analýzu parserů
s charakterem abstraktní interpretace. Bude tak kupříkladu možné určení přípustného výhledu parseru. Tyto módy využijeme v kapitole [*] věnované deterministickým konstruktorům parserů, kde v módech tohoto typu budeme provádět výpočet množin FIRST a FOLLOW.
A nyní již přistupme k vytváření konkrétních módů.



Subsections

dvorka 2013-12-31