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

Outros exemplos de autômatos incluem a pomba de Arquitas de Tarento, mencionada por Aulo Gélio. Relatos chineses similares de autômatos com capacidade de...

número naturais (ℕ),que ajuda a esta definição a ser utilizado em Teoria dos autômatos. Uma árvore é um conjunto T ⊆ ℕ* tal que se t.c ∈ T, com t ∈ ℕ* e...

Na teoria dos autômatos, um autômato com pilha é um autômato finito com uma memória auxiliar em forma de pilha. Autômatos com pilha diferem da definição...

como uma extensão de alguns autômatos de palavras infinitas, como o autômato de Büchi e o autômato de Muller. Um autômato finito que roda em uma árvore...

Na teoria de circuitos digitais, lógica sequencial é um tipo de circuito lógico, cujo resultados dependem não apenas do valor atual de seus sinais de entradas...

Na teoria dos autômatos, um Autômato de Muller é um tipo de ω-autômato. A condição de aceitação separa o autômato de Muller de outros ω-autômatos. Os autômatos...

o Teorema de Krohn-Rhodes (ou Teoria dos Autômatos Algebraica) é uma abordagem para o estudo dos semigrupos e automatas finitos que busca decompô-los...

tabelas de transição de estados e minimização. Naquele tempo,[quando?] muitos dos softwares para minimização de circuitos que temos hoje[quando?] não existiam...

Lógica de Árvore de Computação (LAC) é uma ramificação-temporal da Lógica, significando que seu modelo de tempo é como a estrutura árvore no qual o futuro...

tipo de autômato em 1962. Autômatos de Büchi são frequentemente utilizados em verificação de modelos como uma versão da teoria dos autômatos de uma fórmula...