Конечный автомат: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KVN (обсуждение | вклад) Нет описания правки |
Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Конечный автомат''' ([[Finite-state automation]])--- распознаватель, | '''Конечный автомат''' ([[Finite-state automation]])--- распознаватель, | ||
используемый для задания [[регулярное множество| регулярных множеств]]. '''Конечный автомат''' состоит из входной ленты, входной головки и | используемый для задания [[регулярное множество| ''регулярных множеств'']]. '''Конечный автомат''' состоит из входной ленты, входной головки и | ||
управляющего устройства. Входная лента --- это линейная | управляющего устройства. Входная лента --- это линейная | ||
последовательность клеток, или ячеек, каждая из которых | последовательность клеток, или ячеек, каждая из которых | ||
| Строка 65: | Строка 65: | ||
'''конечного автомата''' в виде так называемой ''диаграммы'' | '''конечного автомата''' в виде так называемой ''диаграммы'' | ||
(или ''графа переходов'') автомата --- | (или ''графа переходов'') автомата --- | ||
[[орграф|орграфа]], [[вершина|вершины]] которого помечены | [[орграф|''орграфа'']], [[вершина|''вершины'']] которого помечены | ||
символами состояний и в котором есть дуга <math>(p,q)</math>, если | символами состояний и в котором есть дуга <math>(p,q)</math>, если | ||
существует такой символ <math>a\in\Sigma</math>, что <math>q\in\delta(p,a)</math>. | существует такой символ <math>a\in\Sigma</math>, что <math>q\in\delta(p,a)</math>. | ||