IB102 úkol 11, příklad 3 Odevzdání: 11. 12. 2017
Jméno: UČO:
list učo body
Oblast strojově snímaných informací. Své učo a číslo listu vyplňte
zleva dle vzoru číslic. Jinak do této oblasti nezasahujte.
3. [2 body] (Příklad odevzdávejte do skříňky 2 nebo do příslušné odevzdávárny.)
Uvažte bezkontextovou gramatiku G, která generuje jazyk pravdivých logických výroků, kde
G = ({T, F, X}, {t, f, [, ], ∧, ¬}, P, T)
P = {(1) T → t,
(2) T → [T ∧ T],
(3) T → ¬F,
(4) F → f,
(5) F → [F ∧ X],
(6) F → [X ∧ F],
(7) F → ¬T,
(8) X → T,
(9) X → F,
(10) X → ¬T,
(11) X → ¬F}.
Sestrojte analyzátor zdola nahoru, analyzujte slovo „ ¬[¬¬t∧f] “ a zapište čísla pravidel gramatiky G
v pořadí, ve kterém se při analýze tohoto slova použijí odpovídající přechody analyzátoru.
Oblast strojově snímaných informací, nezasahujte. Druhá strana se neskenuje. Zde jsou losi.