Таблицата за преход е основно таблично представяне на функцията за преход. Той приема два аргумента (състояние и символ) и връща състояние („следващото състояние“).
Преходната таблица е представена от следните неща:
- Колоните съответстват на въведените символи.
- Редовете съответстват на състояния.
- Записите съответстват на следващото състояние.
- Началното състояние е обозначено със стрелка без източник.
- Състоянието на приемане е обозначено със звезда.
Пример 1:
Решение:
Преходната таблица на даден DFA е както следва:
execlp
Настоящо състояние | Следващо състояние за вход 0 | Следващо състояние на вход 1 |
---|---|---|
→q0 | q1 | q2 |
q1 | q0 | q2 |
*q2 | q2 | q2 |
Обяснение:
- В горната таблица първата колона показва всички текущи състояния. Под колони 0 и 1 са показани следващите състояния.
- Първият ред от таблицата на прехода може да се прочете като, когато текущото състояние е q0, на вход 0 следващото състояние ще бъде q1, а на вход 1 следващото състояние ще бъде q2.
- Във втория ред, когато текущото състояние е q1, на вход 0 следващото състояние ще бъде q0, а на вход 1 следващото състояние ще бъде q2.
- В третия ред, когато текущото състояние е q2 на вход 0, следващото състояние ще бъде q2, а на 1 вход следващото състояние ще бъде q2.
- Стрелката, отбелязана с q0, показва, че това е начално състояние, а кръгът, отбелязан с q2, показва, че това е крайно състояние.
Пример 2:
Решение:
Таблицата за преход на дадено NFA е както следва:
колко града в Съединените американски щати
Настоящо състояние | Следващо състояние за вход 0 | Следващо състояние на вход 1 |
---|---|---|
→q0 | q0 | q1 |
q1 | q1, q2 | q2 |
q2 | q1 | q3 |
*q3 | q2 | q2 |
Обяснение:
- Първият ред от таблицата на прехода може да се прочете като, когато текущото състояние е q0, на вход 0 следващото състояние ще бъде q0, а на вход 1 следващото състояние ще бъде q1.
- Във втория ред, когато текущото състояние е q1, на вход 0 следващото състояние ще бъде q1 или q2, а на вход 1 следващото състояние ще бъде q2.
- В третия ред, когато текущото състояние е q2 на вход 0, следващото състояние ще бъде q1, а на вход 1 следващото състояние ще бъде q3.
- В четвъртия ред, когато текущото състояние е q3 на вход 0, следващото състояние ще бъде q2, а на вход 1 следващото състояние ще бъде q2.