Абстрактный автомат
Автомат (один автомат, несколько автоматов) - это понятие из математики. Иногда это понятие называют автоматом состояний. Он похож на абстрактный автомат.
Такому автомату можно дать входные данные, которые либо отвергаются, либо принимаются. Это похоже на торговый автомат. Когда что-то покупается, в автомат нужно вставить монеты (или деньги). Если это правильные монеты, они принимаются, и требуемый предмет опускается, чтобы его можно было извлечь. Если монеты неправильные, они отклоняются.
Внутри автомата есть различные состояния, в которых он может находиться. Подача входных данных может (или не может) изменить его состояние. Таким образом, автомат проходит через все входные данные, потребляя по одному элементу (который математики называют символом) за раз. Когда не остается ни одного символа, автомат находится в определенном состоянии. Это может быть конечное состояние. В этом случае входные данные принимаются. В противном случае вход отвергается.
Если машина имеет счетное, конечное число состояний, то она называется конечным автоматом. Диаграмма, которая показывает все состояния и переходы такого автомата, называется диаграммой конечных состояний.
Обычное представление автомата в информатике. Этот автомат "принимает" все последовательности букв a и b, которые начинаются с a и заканчиваются b.
Проблемы
Как и в реальной жизни, существуют автоматы, которые слишком сложны для понимания. Поэтому математики и компьютерщики спрашивают себя, является ли определенный автомат минимальным. Если он не является минимальным, то должен существовать другой автомат с меньшим количеством состояний, который может делать то же самое. Примером автомата является машина Тьюринга.
Вопросы и ответы
В: Что такое автомат?
О: Автомат - это концепция из математики, которая похожа на абстрактную машину и может подавать входные данные, которые либо отклоняются, либо принимаются.
В: Как по-другому называется автомат?
О: Иногда это понятие называют автоматом состояний.
В: Можете ли Вы сравнить автомат с торговым автоматом?
О: Да, он похож на торговый автомат, где в автомат нужно вставить монеты или деньги, и если монеты правильные, то требуемый предмет опускается, и его можно забрать.
В: Что происходит, когда автомату дается входной сигнал?
О: Автомат проходит через все входные данные, потребляя по одному предмету за раз, и внутри имеет различные состояния, в которых он может находиться. Подача ему входных данных может изменить его состояние, а может и не изменить.
В: Что происходит, когда для автомата не остается символов?
О: Когда символов не остается, автомат находится в определенном состоянии, которое может быть конечным. Если это так, то входные данные принимаются; в противном случае входные данные отклоняются.
В: Что такое конечный автомат?
О: Если автомат имеет счетное, конечное число состояний, то он называется конечным автоматом.
В: Что такое диаграмма конечных состояний?
О: Диаграмма, которая показывает все состояния и переходы такого автомата, называется диаграммой конечных состояний.
