Jazyky: Deterministické bezkontextové jazyky (DCFL). LL(k) a LR(k) gramatiky a jazyky, jejich vlastnosti. Vztahy mezi DCFL, LL a LR.
Deterministické bezkontextové jazyky (DCFL) jsou jazyky, ktoré jsou rozpoznávány deterministickými zásobníkovými automaty. DCFL mají striktně menší vyjadřovací sílu než nedeterministické CFL. DCFL je možné definovat pomocí deterministického zásobníkového automatu (DPDA) nebo deterministické bezkontextové gramatiky (DCFG).
Bezkontextová gramatika je frázová gramatika, která má pravidla tvaru , kde je libovolný neterminál a je libovolná větná forma.
Pro DCFL neexistuje pumping lemma nebo jiná speciální pomůcka. Je nutno se spolehnout na uzávěrové vlastnosti:
Definice
A dále pro :
pro
pro
Nechť je gramatika, celé číslo. je gramatika, právě když pro každé dvě nejlevější derivace ()
podmínka implikuje .
Pro gramatiku definujeme přidruženou gramatiku . Přidružená gramatika umožňuje rozeznat konec vstupu.
Gramatika je pro , pokud pro všechny pravé větné formy z podmínek:
vyplývá, že .
Položka gramatiky je výraz typu , kde je pravidlo gramatiky . Speciálně je položkou, pokud . Pro každé nazýváme úplnou položkou.
Položka je platnou položkou pro řetěz , jestliže existuje pravá větná forma () taková, že . Množinu všech platných položek pro řetěz budeme označovat .
Speciálně pro platí, že:
Parsing gramatik
Platí: .
nemůže obsahovat rekurzi, nezvládá všechny CFG kvůli omezení .
FI:IA006 Vybrané kapitoly z teorie automatů (podzim 2010), prof. RNDr. Mojmír Křetínský, CSc.
FI:IB005 Formální jazyky a automaty I (jaro 2007), prof. RNDr. Mojmír Křetínský, CSc.
-
DevelX - Martin Jurča
stav - 95 %