TechCodeview

Az átmeneti táblázat alapvetően az átmeneti függvény táblázatos ábrázolása. Két argumentumot (egy állapotot és egy szimbólumot) vesz fel, és egy állapotot ad vissza (a „következő állapot”).

Az átmeneti táblázatot a következő dolgok képviselik:

• Az oszlopok a bemeneti szimbólumoknak felelnek meg.
• A sorok az állapotoknak felelnek meg.
• A bejegyzések a következő állapotnak felelnek meg.
• A kezdő állapotot egy nyíl jelöli forrás nélkül.
• Az elfogadási állapotot csillag jelöli.

1. példa:

Megoldás:

Az adott DFA átmeneti táblázata a következő:

Magyarázat:

• A fenti táblázatban az első oszlop az összes aktuális állapotot jelzi. A 0 és 1 oszlop alatt a következő állapotok jelennek meg.
• Az átmeneti tábla első sora úgy olvasható, hogy amikor az aktuális állapot q0, a 0 bemeneten a következő állapot q1, az 1. bemeneten pedig a következő állapot q2.
• A második sorban, amikor az aktuális állapot q1, a 0 bemeneten a következő állapot q0, az 1 bemeneten pedig a következő állapot q2 lesz.
• A harmadik sorban, amikor az aktuális állapot q2 a 0 bemeneten, a következő állapot q2 lesz, és az 1 bemeneten a következő állapot q2.
• A q0-val jelölt nyíl azt jelzi, hogy ez egy kezdőállapot, a q2-vel jelölt kör pedig azt, hogy ez egy végső állapot.

2. példa:

Megoldás:

Az adott NFA átmeneti táblázata a következő:

Magyarázat:

• Az átmeneti táblázat első sora úgy olvasható, hogy amikor az aktuális állapot q0, a 0 bemeneten a következő állapot q0, az 1. bemeneten pedig a következő állapot q1.
• A második sorban, amikor az aktuális állapot q1, a 0 bemeneten a következő állapot q1 vagy q2, az 1 bemeneten pedig q2 lesz.
• A harmadik sorban, amikor az aktuális állapot q2 a 0 bemeneten, a következő állapot q1, 1 bemeneten pedig q3 lesz.
• A negyedik sorban, amikor az aktuális állapot q3 a 0 bemeneten, a következő állapot q2, 1 bemeneten pedig q2 lesz.