logo

Преходна таблица

Таблицата за преход е основно таблично представяне на функцията за преход. Той приема два аргумента (състояние и символ) и връща състояние („следващото състояние“).

Преходната таблица е представена от следните неща:

  • Колоните съответстват на въведените символи.
  • Редовете съответстват на състояния.
  • Записите съответстват на следващото състояние.
  • Началното състояние е обозначено със стрелка без източник.
  • Състоянието на приемане е обозначено със звезда.

Пример 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.