Оглавление:
Определение - что означает State Machine?
Конечный автомат - это концепция, используемая при разработке компьютерных программ или цифровой логики. Существует два типа конечных автоматов: конечные и бесконечные. Первый состоит из конечного числа состояний, переходов и действий, которые могут быть смоделированы с помощью потоковых графов, где путь логики может быть обнаружен при выполнении условий. Последний практически не используется.
Конечный автомат - это любое устройство, хранящее состояние чего-либо в данный момент времени. Статус изменяется на основе входных данных, обеспечивая результирующий выход для реализованных изменений. Конечный автомат имеет конечную внутреннюю память. Входные символы читаются в последовательности, производящей выходную функцию в форме пользовательского интерфейса.
Конечные автоматы представлены с использованием диаграмм состояний. Выход конечного автомата является функцией ввода и текущего состояния. Конечные автоматы играют важную роль в таких областях, как электротехника, лингвистика, информатика, философия, биология, математика и логика. Их лучше всего использовать при моделировании поведения приложений, разработке программного обеспечения, проектировании аппаратных цифровых систем, сетевых протоколов, компиляторов, а также при изучении вычислений и языков.
Техопедия объясняет состояние машины
Работа конечного автомата начинается с начального состояния. При успешном переходе он заканчивается в состоянии принятия. Переход происходит на основе предоставленных данных. Текущее состояние зависит от прошлого состояния системы. Количество сформированных состояний зависит от доступных состояний памяти. Переход включается в зависимости от определенных условий и указывает на изменение состояния. Действие описывает действие, выполненное в данный момент. Различные типы действий: переходное действие, входное действие, входное действие и выходное действие.
Детерминированные автоматы имеют ровно один переход в каждом состоянии для каждого возможного входа. В недетерминированных автоматах вход состояния приводит к одному, многим или отсутствию переходов. Конечный автомат только с одним состоянием называется комбинаторным конечным автоматом и использует только входные действия.
Две разные группы конечных автоматов - это акцепторы и преобразователи. Акцепторы генерируют двоичный вывод, основываясь на том, принят ли ввод или отклонен машиной. При обработке ввода, если текущее состояние принимает, ввод принимается. В противном случае это отклонено. Языки, принимаемые конечными автоматами, называются обычными языками. Начальные состояния представлены стрелкой, указывающей на него откуда угодно, в то время как принятые состояния представлены двойными кружками. Преобразователи обслуживают вывод на основе заданного ввода, используя действия. Машины Мура и Мили являются примерами преобразователей.
Неизмененные конечные автоматы языка моделирования также широко используются, поскольку в них есть характеристики машин Мура и Мили. Они включают в себя дополнительные понятия, такие как ортогональные области и иерархически вложенные состояния.
