Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Autômato finito alternado

Índice Autômato finito alternado

Na teoria dos autômatos, um autômato finito alternado (AFA) é um autômato finito não-determinístico cujas transições são dividas em transições existenciais e universais.

9 relações: Autômato, Autômato finito determinístico, Énuplo, Forma normal disjuntiva, Função, Máquina de estados finitos não determinística, Quantificação existencial, Quantificação universal, Teoria dos autômatos.

Autômato

Um (do grega αὐτόματον: "agindo por vontade própria") é um mecanismo que se opera de maneira automática, imitando movimentos humanos.

Novo!!: Autômato finito alternado e Autômato · Veja mais »

Autômato finito determinístico

Um exemplo de autômato finito determinístico que aceita apenas números binários múltiplos de 3. O estado ''S''0 é tanto o estado de início quanto um estado de aceitação. 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.

Novo!!: Autômato finito alternado e Autômato finito determinístico · Veja mais »

Énuplo

Énuplo (também conhecido como ênuplo, énupla, ênupla, n-tuplo, n-upla ou simplesmente tupla) é uma sequência ordenada de n elementos, que pode ser definida pela recursão do par ordenado.

Novo!!: Autômato finito alternado e Énuplo · Veja mais »

Forma normal disjuntiva

Na lógica booleana, uma forma normal disjuntiva (FND) é uma normalização de uma fórmula lógica a qual é uma disjunção de cláusulas conjuntivas.

Novo!!: Autômato finito alternado e Forma normal disjuntiva · Veja mais »

Função

* Função (música) — papel específico de cada nota em relação à tonalidade.

Novo!!: Autômato finito alternado e Função · Veja mais »

Máquina de estados finitos não determinística

Na teoria da computação, uma máquina de estados finita não-determinística ou um autômato finito não-determinístico (AFND) é uma máquina de estados finita onde para cada par de estado e símbolo de entrada pode haver vários próximos estados possíveis.

Novo!!: Autômato finito alternado e Máquina de estados finitos não determinística · Veja mais »

Quantificação existencial

Na lógica de predicados, um quantificador existencial é a predicação de uma propriedade ou relação para, pelo menos, um elemento do domínio.

Novo!!: Autômato finito alternado e Quantificação existencial · Veja mais »

Quantificação universal

Na lógica de predicados, a quantificação universal é uma formalização da noção de que algumas coisas são verdadeiras para todas as coisas, ou para todas as coisas relevantes.

Novo!!: Autômato finito alternado e Quantificação universal · Veja mais »

Teoria dos autômatos

Teoria dos autômatos é o estudo das máquinas abstratas ou autômatos, bem como problemas computacionais que podem ser resolvidos usando esses objetos.

Novo!!: Autômato finito alternado e Teoria dos autômatos · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »