Por exemplo, autômato finito quantum, autômato geométrico e autômato métrico têm aceitação probabilística.

Estados Estados finitos Um autômato que contém apenas um número finito de estados.

A figura à direita representa um autômato finito determinístico através de um Diagrama de transição de estados.

Entrada Entrada finita Um autômato que aceita apenas sequências finitas de símbolos.

Na Teoria dos autômatos, um sub tópico da Ciência da computação teórica, um autômato finito determinístico também chamado máquina de estados finita determinística (AFD) é uma Máquina de estados finita que aceita ou rejeita cadeias de símbolos gerando um único ramo de computação para cada cadeia de entrada.

Um autômato contém um conjunto finito de estados .

Por exemplo, o autômato finito quantum ou autômato topológico tem um número infinito incontável de estados.

Considerado um autômato finito no qual cada transição é denominada por uma transição da rede.

Uma máquina de estados finitos (FSM do inglês Finite State Machine ) ou autômato finito é um modelo matemático usado para representar programas de computadores ou circuitos lógicos.

A figura ao lado ilustra uma máquina de estados finitos, que pertence a uma variedade bem conhecida de autômato.

Um autômato finito determinístico que não possui estado inicial ou estados de aceitação é conhecido como um Sistema de Transições ou Semiautômato .

A entrada é constituída por uma sequência finita de caracteres 1s e 0s.

A rede de Petri é então sincronizada com o autômato finito, isto é, uma transição no autômato é feita no mesmo momento que a mesma transição na rede de Petri.

Σ é um conjunto finito de símbolos, chamado de alfabeto do autômato.

A principal variante, descrita acima, é chamada de autômato finito determinístico.

Um autômato é uma representação finita de uma linguagem formal que pode ser um conjunto infinito.

Definição formal Autômatos Um autômato é representado formalmente por uma 5 tupla (Q,Σ,δ,q0,F), onde Q é um conjunto finito de estados.

Um exemplo de um estado de aceitação aparece na figura 4 um autômato finito determinístico (AFD) que detecta se a seqüência de entrada binária contém um número par de 0's.

Função de transição Determinística Para um dado estado atual e um símbolo de entrada, se um autômato pode pular para um estado apenas então ele é um autômato determinístico .

Estados infinitos Um autômato que pode não ter um número finito de estados, ou até mesmo um número contável de estados.

Palavra de entrada Um autômato lê uma string finita de símbolos a1,a2..., an, onde ai Σ, que é chamada de palavra de entrada .

Entrada árvore infinita As duas extensões acima podem ser combinadas, então o autômato lê uma estrutura de árvore com (in)finitos desvios.

Se o estado final é um estado de aceitação, então o autômato aceita a palavra.

Uma vez que a palavra de entrada tiver sido lida, o autômato deve parar e o estado no qual o autômato parou é chamado de estado final .

Em qualquer momento, os símbolos que servem de entrada para o autômato formam uma sequência finita de símbolos, que é chamada de palavra .

Este autômato é chamado de autômato árvore.

Gill, A., Introduction to the Theory of Finite state Machines .

Um 1 na entrada não altera o estado atual do autômato.

Máquinas de estado UML superam as limitações das FSMs tradicionais, mantendo os seus principais benefícios.

Por exemplo, uma máquina de Turing descrevendo um algoritmo pode ter algumas centenas de estados, enquanto o autômato finito determinístico equivalente em uma dada máquina real tem quadrilhões.

Quando o autômato lê o símbolo ai ele pula para o estado qi δ(qi 1,ai).

Outras variantes do modelo da máquina de Turing padrão que produzem MTUs pequenas incluem máquinas multi fitas ou fitas com múltiplas dimensões, além de máquinas acopladas com um autômato finito.

Por exemplo, uma linguagem pode ser dada como aquelas cadeias de caracteres geradas por alguma gramática formal aquelas cadeias descritas ou acompanhadas por uma determinada expressão regular aquelas cadeias aceitas por alguns autômatos, como uma máquina de Turing ou autômato de estados finito aquelas cadeias para qual algum procedimento de decisão (um algoritmo que faz uma sequência de perguntas relacionadas a sim não) produz a resposta SIM.

Aplicações de Software Os seguintes conceitos são comumente usados para construir aplicações de software com máquinas de estados finitos Programação baseada em autômatos FSM orientada a eventos FSM Virtual (VFSM) Referências Timothy Kam, Synthesis of Finite State Machines Functional Optimization .

Cadeias de Markov em espaços de estados discretos Um espaço de estados é representável por uma matriz.

O exemplo da figura 3 mostra uma máquina de estados finitos que aceita a palavra nice .

O conjunto de todas as palavras aceitas por um autômato é chamado de linguagem reconhecida pelo autômato .

Diz se que o autômato faz uma cópia dele mesmo para cada sucessor, e cada cópia executa um símbolo sucessor do estado de acordo com a relação de transição do autômato.

Máquinas de estados finitos são uma classe de autômatos estudada na teoria dos autômatos e teoria da computação.

Em algumas representações de estado finito máquina, também é possível associar ações a um estado Ação de entrada o que é realizado ao entrar no estado, Ação de saída o que é executado ao sair do estado.

Um laboratório de autômatos celulares por Jon Bennett.

(verificação de vazio vacuidade) É possível transformar um dado autômato não determinístico em um autômato determinístico sem mudar a linguagem reconhecível?

Palavra de aceitação Uma palavra w Σ é aceita pelo autômato se qn F. Linguagem reconhecida Um autômato pode reconhecer uma linguagem.

A linguagem L Σ reconhecida por um autômato é o conjunto de todas as palavras que são aceitas pelo autômato.

É possível construir uma imagem que aja como uma máquina de estado finito conectada a dois contadores.