22:18 Zde jsem měl uvést, že je to NEJMENŠÍ relace splňující tuto vlastnost. Uvedený zápis není úplně formálně dokonalý, pokud neuvedu toto slovo a to z následujícího důvodu: Pokud pouze definuji, za jakých okolností platí (q, aw, zγ) ⊢ (r, w, αγ), vůbec nic neříkám o těch dvojicích konfigurací, kde se například neshoduje přípona vstupního slova w. Buď tedy musím napsat něco jako (q, w_1, γ_1) ⊢ (r, w_2, γ_2) a za ekvivalencí vymezit, čemu se rovnají proměnné w_1, γ_1, w_2, γ_2, nebo zůstat u výše uvedené definice a dodat, že je to nejmenší relace s touto vlastností.
Pojem "větná forma" gramatiky se typicky používá pro takovou posloupnost terminálů a neterminálů konečné délky, která je reálně vygenerovatelná z počátečního neterminálu. Já jsem si to zde zadefinoval jinak, v obecnějším pojetí, pouze pro libovolnou posloupnost terminálů a neterminálů konečné délky, tzn. nekladu podmínku na to, aby tato posloupnost byla vygenerovatelná z počátečního neterminálu. Mou motivací bylo vyhnout se neustálému opakování slovního spojení "posloupnost terminálů a neterminálů konečné délky".
22:18 Zde jsem měl uvést, že je to NEJMENŠÍ relace splňující tuto vlastnost.
Uvedený zápis není úplně formálně dokonalý, pokud neuvedu toto slovo a to z následujícího důvodu:
Pokud pouze definuji, za jakých okolností platí (q, aw, zγ) ⊢ (r, w, αγ), vůbec nic neříkám o těch dvojicích konfigurací, kde se například neshoduje přípona vstupního slova w. Buď tedy musím napsat něco jako (q, w_1, γ_1) ⊢ (r, w_2, γ_2) a za ekvivalencí vymezit, čemu se rovnají proměnné w_1, γ_1, w_2, γ_2, nebo zůstat u výše uvedené definice a dodat, že je to nejmenší relace s touto vlastností.
Pojem "větná forma" gramatiky se typicky používá pro takovou posloupnost terminálů a neterminálů konečné délky, která je reálně vygenerovatelná z počátečního neterminálu. Já jsem si to zde zadefinoval jinak, v obecnějším pojetí, pouze pro libovolnou posloupnost terminálů a neterminálů konečné délky, tzn. nekladu podmínku na to, aby tato posloupnost byla vygenerovatelná z počátečního neterminálu. Mou motivací bylo vyhnout se neustálému opakování slovního spojení "posloupnost terminálů a neterminálů konečné délky".