Teoret-inf

á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_23=Pokud jsou dvě poslední množiny Dn a Dn%2B1 stejné, je konstrukce množiny D dokončena.
&text_24=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_26=Redukce gramatiky dokončena.

&text_1=Animace konstruuje levou derivaci podle gramatiky a postup výpočtu zásobníkového automatu pro slovo a × (a %2B a).
&text_2=Neterminál A na vrcholu zásobníku nahradíme neterminálem B.
&text_3=Neterminál B na vrcholu zásobníku nahradíme řetězcem B × C.
&text_4=Neterminál B na vrcholu zásobníku nahradíme neterminálem C.
&text_5=Neterminál C na vrcholu zásobníku nahradíme terminálem a.
&text_6=Ze vstupu přečteme terminál a a odstraníme jej z vrcholu zásobníku.
&text_7=Ze vstupu přečteme terminál × a odstraníme jej z vrcholu zásobníku.
&text_8=Neterminál C na vrcholu zásobníku nahradíme řetězcem (A).
&text_9=Ze vstupu přečteme terminál ( a odstraníme jej z vrcholu zásobníku.
&text_10=Neterminál A na vrcholu zásobníku nahradíme řetězcem A %2B B.
&text_11=Neterminál A na vrcholu zásobníku nahradíme neterminálem B.
&text_12=Neterminál B na vrcholu zásobníku nahradíme neterminálem C.
&text_13=Neterminál C na vrcholu zásobníku nahradíme terminálem a.
&text_14=Ze vstupu přečteme terminál a a odstraníme jej z vrcholu zásobníku.
&text_15=Ze vstupu přečteme terminál %2B a odstraníme jej z vrcholu zásobníku.
&text_16=Neterminál B na vrcholu zásobníku nahradíme neterminálem C.
&text_17=Neterminál C na vrcholu zásobníku nahradíme terminálem a.
&text_18=Ze vstupu přečteme terminál a a odstraníme jej z vrcholu zásobníku.
&text_19=Ze vstupu přečteme terminál ) a odstraníme jej z vrcholu zásobníku.
&text_20=Slovo přečteno ze vstupní pásky a zásobník je prázdný.

text_1=Animace demonstruje převod jednostavového zásobníkového automatu M' na bezkontextovou gramatiku G.
&text_2=Do množiny neterminálních symbolů G zařadíme zásobníkové symboly M'.
&text_3=Do množiny terminálních symbolů zařadíme vstupní symboly M'.
&text_4=Startovacím neterminálem gramatiky G je počáteční zásobníkový symbol ZA M.
&text_16=Převod zásobníkového automatu na bezkontextovou gramatiku dokončen.
text_1=Animace demonstruje převod nedeterministického zásobníkového automatu na jednostavový.
&text_2=Množina stavů obsahuje jediný stav ZA M' s.
&text_3=Množina vstupních symbolů ZA M' je stejná jako množina vstupních symbolů ZA M.
&text_4=Zásobníkové symboly M' jsou ve tvaru %26lt;p, X, p'>, kde p a p' jsou stavy původního ZA M a X jsou zásobníkové symboly původního ZA M. Dále je přidán jeden nový zásobníkový symbol ZA M' R.
&text_5=Zásobníkové symboly budeme psát v přehlednějším tvaru. pXp' == když bude ZA M zpracovávat zásobníkový symbol X bude ve stavu p,až ho zpracuje bude ve stavu p'.
&text_6=Počátečním stavem je jediný stav zásobníkového automatu ZA M' s.
&text_7=Počátečním zásobníkovým symbolem ZA M' je nový symbol R.
&text_8=Nyní budeme konstruovat přechodovou funkci d'.
&text_9=Nejdříve zahrneme přechod z konfigurace kdy na zásobníku je počáteční zásobníkový symbol R (nově přidaný).
&text_10=d'(s, e, R) = {(s, %26lt;q0, Z0, q>) | q je stav ZA M}.
&text_14=d(q, a, X) = (q', A1A2...An), kde n > 0d'(s, a, %26lt;q, X, q''>) = {(s, %26lt;q', A1, q1>%26lt;q1, A2, q2>...%26lt;qn-1, An, q''>) |q'', q1, ..., qn-1 jsou stavy ZA M}
&text_30=d(q, a, X) = (q', e), kde a je vstupní symbol ZA M nebo ed'(s, a, %26lt;q, X, q'>) = {(s, e)}
&text_36=d(q, a, X) = (q', A1A2...An), kde n > 0d'(s, a, %26lt;q, X, q''>) = {(s, %26lt;q', A1, q1>%26lt;q1, A2, q2>...%26lt;qn-1, An, q''>) |q'', q1, ..., qn-1 jsou stavy ZA M}
&text_48=Převod zásobníkového automatu M na jednostavový M' dokončen.