Siirtymätaulukko on pohjimmiltaan siirtymäfunktion taulukkoesitys. Se ottaa kaksi argumenttia (tila ja symboli) ja palauttaa tilan ('seuraava tila').
Siirtymätaulukkoa edustavat seuraavat asiat:
- Sarakkeet vastaavat syöttösymboleja.
- Rivit vastaavat tiloja.
- Merkinnät vastaavat seuraavaa tilaa.
- Aloitustila on merkitty nuolella ilman lähdettä.
- Hyväksytty tila on merkitty tähdellä.
Esimerkki 1:
Ratkaisu:
Annetun DFA:n siirtymätaulukko on seuraava:
| Nykyinen valtio | Seuraava tila tulolle 0 | Seuraava syöttötila 1 |
|---|---|---|
| →q0 | q1 | q2 |
| q1 | q0 | q2 |
| *q2 | q2 | q2 |
Selitys:
- Yllä olevan taulukon ensimmäinen sarake osoittaa kaikki nykyiset tilat. Sarakkeiden 0 ja 1 alla näytetään seuraavat tilat.
- Siirtymätaulukon ensimmäinen rivi voidaan lukea siten, että kun nykyinen tila on q0, tulossa 0 seuraava tila on q1 ja tulossa 1 seuraava tila on q2.
- Toisella rivillä, kun nykyinen tila on q1, tulossa 0 seuraava tila on q0 ja 1 sisääntulossa seuraava tila on q2.
- Kolmannella rivillä, kun nykyinen tila on q2 tulossa 0, seuraava tila on q2 ja 1 sisääntulossa seuraava tila on q2.
- q0:aan merkitty nuoli osoittaa, että se on aloitustila ja ympyrä, joka on merkitty q2:een, osoittaa, että se on lopputila.
Esimerkki 2:
Ratkaisu:
Tietyn NFA:n siirtymätaulukko on seuraava:
| Nykyinen valtio | Seuraava tila tulolle 0 | Seuraava syöttötila 1 |
|---|---|---|
| →q0 | q0 | q1 |
| q1 | q1, q2 | q2 |
| q2 | q1 | q3 |
| *q3 | q2 | q2 |
Selitys:
- Siirtymätaulukon ensimmäinen rivi voidaan lukea siten, että kun nykyinen tila on q0, tulossa 0 seuraava tila on q0 ja tulossa 1 seuraava tila on q1.
- Toisella rivillä, kun nykyinen tila on q1, tulossa 0 seuraava tila on joko q1 tai q2 ja 1 sisääntulossa seuraava tila on q2.
- Kolmannella rivillä, kun nykyinen tila on q2 tulossa 0, seuraava tila on q1 ja 1 sisääntulossa seuraava tila on q3.
- Neljännellä rivillä, kun nykyinen tila on q3 tulossa 0, seuraava tila on q2 ja 1 sisääntulossa seuraava tila on q2.