Табела прелаза је у основи табеларни приказ прелазне функције. Узима два аргумента (стање и симбол) и враћа стање ('следеће стање').
Прелазна табела је представљена следећим стварима:
- Колоне одговарају улазним симболима.
- Редови одговарају државама.
- Уноси одговарају следећем стању.
- Почетно стање је означено стрелицом без извора.
- Стање прихватања је означено звездицом.
Пример 1:
Решење:
Табела прелаза датог ДФА је следећа:
| Садашње стање | Следеће стање за улаз 0 | Следеће стање уноса 1 |
|---|---|---|
| →к0 | к1 | к2 |
| к1 | к0 | к2 |
| *к2 | к2 | к2 |
Објашњење:
- У горњој табели, прва колона означава сва тренутна стања. У колонама 0 и 1 приказана су следећа стања.
- Први ред прелазне табеле може се прочитати као, када је тренутно стање к0, на улазу 0 следеће стање ће бити к1, а на улазу 1 следеће стање ће бити к2.
- У другом реду, када је тренутно стање к1, на улазу 0, следеће стање ће бити к0, а на 1 улазу следеће стање ће бити к2.
- У трећем реду, када је тренутно стање к2 на улазу 0, следеће стање ће бити к2, а на 1 улазу следеће стање ће бити к2.
- Стрелица означена са к0 означава да је то почетно стање, а круг означен са к2 означава да је то коначно стање.
Пример 2:
Решење:
Прелазна табела датог НФА је следећа:
| Садашње стање | Следеће стање за улаз 0 | Следеће стање уноса 1 |
|---|---|---|
| →к0 | к0 | к1 |
| к1 | к1, к2 | к2 |
| к2 | к1 | к3 |
| *к3 | к2 | к2 |
Објашњење:
- Први ред прелазне табеле може се прочитати као, када је тренутно стање к0, на улазу 0 следеће стање ће бити к0, а на улазу 1 следеће стање ће бити к1.
- У другом реду, када је тренутно стање к1, на улазу 0 следеће стање ће бити или к1 или к2, а на 1 улазу следеће стање ће бити к2.
- У трећем реду, када је тренутно стање к2 на улазу 0, следеће стање ће бити к1, а на 1 улазу следеће стање ће бити к3.
- У четвртом реду, када је тренутно стање к3 на улазу 0, следеће стање ће бити к2, а на 1 улазу следеће стање ће бити к2.