Машина Мура
-
Определение машины Мура
- Машина Мура — это конечный автомат с одним входом и одним выходом.
- Машина Мура названа в честь Э. Ф. Мура, который представил её в 1956 году.
-
Структура машины Мура
- Машина Мура состоит из состояний и переходов, где каждое состояние имеет выходное значение.
- Переход между состояниями определяется входным сигналом и текущим состоянием.
-
Эквивалентность и ограничения
- Машина Мура эквивалентна мучной машине с той же структурой состояний и переходов.
- Не все мучные машины могут быть преобразованы в эквивалентные машины Мура.
-
Примеры машин Мура
- Простые машины Мура имеют один вход и один выход, например, детекторы границ и двоичные арифметические машины.
- Сложные машины Мура могут иметь несколько входов и выходов, например, последовательные системы с тактовой частотой.
-
Эксперименты Мура и их развитие
- В статье Мура 1956 года описаны эксперименты с последовательными машинами.
- А. А. Карацуба в 1957 году улучшил границы экспериментов Мура, доказав теоремы о структуре последовательных машин.
- Теоремы Карацубы являются точными нелинейными результатами в теории автоматов и теории сложности вычислений.
Полный текст статьи: