Teoret-inf

z a vypuštěním některých (i žádných) výskytů symbolů z E; b != e.
&text_21=Konstrukce nevypouštějící gramatiky dokončena.
text_1=Animace upozorňuje, že prohozením postupu odstraňování "zbytečných" neterminálů z bezkontextové gramatiky nemusíme získat redukovanou gramatiku.
&text_2=Nejprve (nesprávně!) zkonstruujeme pomocnou množinu D neterminálních symbolů, které jsou dosažitelné z počátečního neterminálu S.
&text_3=Do množiny D1 zařadíme počáteční neterminál S.
&text_4=Do množiny D2 zařadíme neterminály z množiny D1.Dále hledáme neterminály X, které dosud nepatří do množiny D2a jsou přímo dosažitelné z počátečního neterminálu S.
&text_7=Do množiny D3 zařadíme neterminály z množiny D2.Dále hledáme neterminály X, které dosud nepatří do množiny D3a jsou přímo dosažitelné z neterminálů z množiny D2.
&text_10=Do množiny D4 zařadíme neterminály z množiny D3.Dále hledáme neterminály X, které dosud nepatří do množiny D4a jsou přímo dosažitelné z neterminálů z množiny D3.
&text_12=Pokud jsou dvě poslední množiny Dn a Dn%2B1 stejné, je konstrukce množiny D dokončena.
&text_13=Neterminály, které nepatří do množiny D nejsou dosažitelné,mužeme je proto z gramatiky vypustitaniž by se změnil jazyk generovaný gramatikou.



&text_15=Následně zkonstruujeme pomocnou množinu T neterminálních symbolů,ze kterých lze odvodit nějaké terminální slovo w.
&text_16=Do množiny T1 zařadíme neterminály X, které lze přímo přepsat na nějaké terminální slovo w.
&text_18=Do množiny T2 zařadíme neterminály z množiny T1.Dále hledáme neterminály X, které dosud nepatří do množiny T2a lze je přepsat na slovo a složené z terminálů a z neterminálů z množiny T1.
&text_22=Do množiny T3 zařadíme neterminály z množiny T2.Dále hledáme neterminály X, které dosud nepatří do množiny T3a lze je přepsat na slovo a složené z terminálů a z neterminálů z množiny T2.
&text_24=Pokud jsou dvě poslední množiny Tn a Tn%2B1 stejné, je konstrukce množiny T dokončena.
&text_25=Z neterminálů, které nepatří do množiny T nelze odvodit terminální slovo,mužeme je proto z gramatiky vypustitaniž by se změnil jazyk generovaný touto gramatikou.
&text_27=Odstraníme i všechna pravidla, která obsahují odstraněné neterminály.
&text_28=Tím by měla výt redukce gramatiky dokončena, ale jelikož jsme prohodili pořadí úprav není tomu tak. Neterminál C je nedosažitelný, ale my jsme jej z gramatiky nevyloučili!
text_1=Animace demonstruje postup odstraňování "zbytečných" neterminálů(znichž nelze odvodit žadné terminální slovo nebo jsou nedosažitelné)z bezkontextové gramatiky.
&text_2=Nejprve zkonstruujeme pomocnou množinu T neterminálních symbolů,ze kterých lze odvodit nějaké terminální slovo w.
&text_3=Do množiny T1 zařadíme neterminály X, které lze přímo přepsat na nějaké terminální slovo w.
&text_6=Do množiny T2 zařadíme neterminály z množiny T1.Dále hledáme neterminály X, které dosud nepatří do množiny T2a lze je přepsat na slovo a složené z terminálů a z neterminálů z množiny T1.
&text_10=Do množiny T3 zařadíme neterminály z množiny T2.Dále hledáme neterminály X, které dosud nepatří do množiny T3a lze je přepsat na slovo a složené z terminálů a z neterminálů z množiny T2.
&text_12=Pokud jsou dvě poslední množiny Tn a Tn%2B1 stejné, je konstrukce množiny T dokončena.
&text_13=Z neterminálů, které nepatří do množiny T nelze odvodit terminální slovo,mužeme je proto z gramatiky vypustitaniž by se změnil jazyk generovaný touto gramatikou.
&text_15=Odstraníme i všechna pravidla, která obsahují odstraněné neterminály.
&text_16=Následně zkonstruujeme pomocnou množinu D neterminálních symbolů,které jsou dosažitelné z počátečního neterminálu S.
&text_17=Do množiny D1 zařadíme počáteční neterminál S.
&text_18=Do množiny D2 zařadíme neterminály z množiny D1.Dále hledáme neterminály X, které dosud nepatří do množiny D2a jsou přímo dosažitelné z počátečního neterminálu S.
&text_21=Do množiny D3 zařadíme netermin