Transition and output tables for Mealy automaton (тпв автомата Мили)
In the transition and
output table for Mealy automaton transitions and outputs are written
in each cell. For instance, if an automaton is in
state and the letter
comes
at the input, then this automaton will pass on to
state
and
letter
will appear at the output.
В ТПВ
Мили в каждой клетке записаны переходы
и выходы. Например, если автомат находится
в состоянии
и на вход приходит буква
,
то он перейдёт в состояние
и на выходе появится буква
.
Transition and output tables for Moore automaton (тпв автомата Мура)
The distinguished transition table is constructed for Moore automaton. A special column is used for output letters. In the cell under an input letter is inserted the state to which an automaton is passing on to, in the rightmost cell – which output letter is returned.
Для
графа Мура строят отмеченную таблицу
переходов. Выделяется дополнительный
столбец для выходных букв.
В клетке
под входной буквой пишется в какое
состояние автомат переходит, в крайней
правой клетке — какую выходную букву
возвращает.
Applications (применение).
Mealy machines provide a rudimentary mathematical model for cipher machines. Considering the input and output alphabet the Latin alphabet, for example, then a Mealy machine can be designed that given a string of letters (a sequence of inputs) can process it into a ciphered string (a sequence of outputs).
Автомат Мили обеспечивает элементарную математическую модель для криптографических [шифровальных] машин. Если входным и выходным алфавитом, например, является латинский, то этот автомат может обеспечить преобразование данной последовательности символов (входной последовательности) в зашифрованную последовательность (выходную последовательность).
Moore machine (автомат Мура)
In the theory of computation, a Moore machine is a finite-state machine, whose output values are determined solely by its current state.
В теории вычислений автоматом Мура является такой конечный автомат, чьи значения выходных переменных определяются исключительно его текущим состоянием.
A Moore machine can be defined as a 6-tuple ( S, S0, Σ, Λ, T, G ) consisting of the following:
(Автомат Мура является также 6-кортежным (S, S0, Σ, Λ, T, G)
a finite set of states (S) – конечный набор состояний;
a start state (also called initial state) S0 which is an element of (S) - начальное состояние S0 (которое является элементом (S);
a finite set called the input alphabet (Σ) - конечный набор, называемый входным алфавитом;
a finite set called the output alphabet (Λ) - конечный набор, называемый выходным алфавитом;
a transition function (T : S × Σ → S) mapping a state and the input alphabet to the next state - функция переходов, отображающая состояние и входной алфавит в следующее состояние;
an output function (G : S → Λ) mapping each state to the output alphabet - функция выхода, отображающая каждое состояние в выходной алфавит.
Example 3
Fig.7:Moore diagram of Binary Adding Machine (Диаграмма автомата Мура для сумматора для двоичных чисел).
Here alphabet X is a set consisting of two symbols so it is called binary alphabet:
Алфавит Х имеет 2 значения:
Labels shows pairs of symbols: input/output
Метки показывают ары символов: вход/выход;
There are 2 vertices (nodes, states of machine): 1 and 0.
Vertices correspond to the states .
Имеется 2 вершины (узлы – состояние автомата) – «1» и «0».
Узлы относятся к состояниям.
"The states of this machine will represent the value that is "carried" to the next bit position.
Initially 1 is "carried".
Состояния данного автомата представляют собой значение, которое переносится в следующую позицию. Изначально «1» переносится.
The carry is "propagated" as long as the input bits are 1.
Перенос распространяется в случае, если входные биты являются «1».
When an input bit of 0 is encountered, the carry is "absorbed" and 1 is output.
Когда мы сталкиваемся с входным битом «0», то перенос поглощается и на выходе имеем «1».
After that point, the input is just replicated
После этого пункта вход просто повторяется.
More complex Moore machines can have multiple inputs as well as multiple outputs.
Более сложные автоматы Мура могут включать несколько входов, а также несколько выходов.
Applications (применение).
The Moore machine is a finite state transducer.
Transducers generate output based on a given input and/or a state using actions. They are used for control applications and in the field of computational linguistics.
Автомат Мура является конечным преобразователем, который генерирует выходную последовательность в зависимости от данной входной последовательности и/или состояния, используя воздействия.