Teoria dos autômatos é o estudo das máquinas abstratas ou autômatos, bem como problemas computacionais que podem ser resolvidos usando esses objetos....
22 KB (2,500 words) - 12:05, 10 December 2019
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...
32 KB (4,420 words) - 20:15, 26 February 2024
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...
9 KB (1,240 words) - 01:41, 8 January 2024
Lógica de Árvore de Computação (category Teoria dos autômatos)
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...
15 KB (2,655 words) - 10:53, 10 October 2024
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...
14 KB (2,426 words) - 16:24, 1 January 2024
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...
5 KB (668 words) - 12:23, 29 December 2018
Teorema de Krohn-Rhodes (category Teoria dos 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...
19 KB (2,357 words) - 17:12, 6 March 2023
Lógica sequencial (category Teoria dos autômatos)
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...
7 KB (1,029 words) - 11:39, 27 December 2023
pontilhada. Teoria dos problemas Teoria dos grafos Linguagem de Computadores Linguagem formal Hierarquia de Chomsky Reconhecedores Autômatos Modelo computacional...
12 KB (842 words) - 15:23, 29 April 2024
Controlador de Richards (category Teoria dos autômatos)
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...
7 KB (926 words) - 15:27, 20 December 2022
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...
11 KB (1,414 words) - 21:17, 7 December 2018