Введение
В теории автоматов и последовательной логике таблица переходов состояния – это таблица, показывающая, в какое состояние (или состояния в случае недетерминированного конечного автомата) перейдёт конечный автомат, в зависимости от текущего состояния и входных сигналов. По сути, это таблица истинности, в которой входные данные включают текущее состояние и другие входные сигналы, а выходные данные – следующее состояние и другие выходные сигналы. Таблица переходов состояния – один из множества способов описания конечного автомата. Другие способы включают диаграмму состояний.
In automata theory and sequential logic, a state transition table is a table showing what state (or states in the case of a nondeterministic finite automaton) a finite state machine will move to, based on the current state and other inputs. It is essentially a truth table in which the inputs include the current state along with other inputs, and the outputs include the next state along with other outputs. A state transition table is one of many ways to specify a finite state machine. Other ways include a state diagram.
Другие формы
Одновременные переходы в нескольких конечных автоматах можно представить в виде, по сути, n-мерной таблицы переходов состояний, в которой пары строк сопоставляют (множества) текущих состояний с последующими состояниями. Это альтернатива представлению взаимодействия между отдельными, взаимозависимыми конечными автоматами. На другом конце спектра, для каждого перехода внутри одного конечного автомата использовались отдельные таблицы: "И/ИЛИ таблицы" аналогичны неполным таблицам решений, в которых решение для представленных правил неявно означает активацию соответствующего перехода.
Переход от диаграммы состояния к диаграмме состояния
Диаграмму состояний можно построить на основе таблицы переходов состояний. Ниже приведена последовательность простых шагов:
Нарисуйте круги, представляющие состояния. Для каждого состояния просканируйте соответствующую строку и нарисуйте стрелку к целевому (или целевым) состоянию(ям). Если конечный автомат недетерминированный, для одного входного символа может быть несколько стрелок. Укажите начальное состояние. Начальное состояние задается в формальном определении конечного автомата. Укажите одно или несколько принимающих состояний. Это также задается в формальном определении конечного автомата.
Draw the circles to represent the states given. For each of the states, scan across the corresponding row and draw an arrow to the destination state(s). There can be multiple arrows for an input character if the finite state machine is nondeterministic. Designate a state as the start state. The start state is given in the formal definition of a finite state machine. Designate one or more states as accepting state. This is also given in the formal definition of a finite state machine.