TechCodeview

Přechodová tabulka je v podstatě tabulková reprezentace přechodové funkce. Trvá dva argumenty (stav a symbol) a vrací stav ('další stav').

Přechodovou tabulku představují následující věci:

• Sloupce odpovídají vstupním symbolům.
• Řádky odpovídají stavům.
• Záznamy odpovídají dalšímu stavu.
• Počáteční stav je označen šipkou bez zdroje.
• Stav přijetí je označen hvězdičkou.

Příklad 1:

Řešení:

Přechodová tabulka dané DFA je následující:

Vysvětlení:

• Ve výše uvedené tabulce jsou v prvním sloupci uvedeny všechny aktuální stavy. Ve sloupcích 0 a 1 jsou zobrazeny další stavy.
• První řádek tabulky přechodů lze číst tak, že když je aktuální stav q0, na vstupu 0 bude další stav q1 a na vstupu 1 bude další stav q2.
• Ve druhém řádku, když je aktuální stav q1, na vstupu 0 bude další stav q0 a na 1 vstupu bude další stav q2.
• Ve třetím řádku, když je aktuální stav q2 na vstupu 0, další stav bude q2 a na 1 vstupu bude další stav q2.
• Šipka označená q0 značí, že se jedná o počáteční stav a kruh označený q2 značí, že jde o konečný stav.

Příklad 2:

Řešení:

Přechodová tabulka daného NFA je následující:

Vysvětlení:

• První řádek tabulky přechodů lze číst tak, že když je aktuální stav q0, na vstupu 0 bude další stav q0 a na vstupu 1 bude další stav q1.
• Ve druhém řádku, když je aktuální stav q1, na vstupu 0 bude další stav buď q1 nebo q2, a na 1 vstupu bude další stav q2.
• Ve třetím řádku, když je aktuální stav q2 na vstupu 0, další stav bude q1 a na 1 vstupu bude další stav q3.
• Ve čtvrtém řádku, když je aktuální stav q3 na vstupu 0, další stav bude q2 a na 1 vstupu bude další stav q2.