logo search
чёткие шпоры по григу

1. Дискретно - детерминированные модели

В тех случаях, когда предположение о конечномерности пространства состояний заменяется предположением о конечности числа его элементов, мы имеем дело с классом систем, анализ которых возможен с помощью чисто алгебраических методов. Этот класс систем носит название "класс конечных автоматов". Все последовательные вычислительные цифровые машины относятся к этому классу.

Конечный автомат A определяется как пятерка объектов

Эти функции удобно задавать при помощи диаграммы переходов - ориентированного графа, вершина которого соответствует состояниям, а стрелки указывают в какое новое состояние переходит автомат под воздействием входного символа и каков будет выход.