Resultados da pesquisa

...os infinitamente comuns devem ser um elemento do conjunto de aceitação. Os autômatos de Muller determinísticos e não determinísticos reconhecem as linguagens ω- ...junto de estados iniciais Q0. De modo geral, autômato de Muller refere aos autômatos de Muller não determinísticos. ...

...os não determinísticos''' (AFND), esses possuem algumas vantagens sobre os autômatos puramente determinísticos, sobretudo quanto à facilidade de representação e ...u valor não deve ser um elemento de <math> Q </math> (como acontece com os autômatos determinísticos), mas um subconjunto de <math> Q </math> (incluindo o conju ...

Na teoria das [[linguagens formais]], e em particular na teoria dos [[autômatos finitos não determinísticos]], é conhecido que a '''concatenação de duas li Uma vez que <math>L_{1}</math> e <math>L_{2}</math> são regulares, existem [[autômatos finitos não determinísticos|AFNs]] <math>N_{1} e \ N_{2}</math> que reconh ...

Na teoria das [[linguagens formais]], e em particular na teoria dos [[autômatos finitos não determinísticos]], é conhecido que a '''união de duas linguagen Uma vez que <math>L_{1}</math> e <math>L_{2}</math> são regulares, existem [[autômatos finitos não determinísticos|AFNs]] <math>N_{1},\ N_{2}</math> que reconhec ...

...ru|Ю́рий Петро́вич Офман}}) é um [[matemático]] russo que trabalha com a [[teoria da complexidade computacional]]. ...A. Karatsuba]] de um dos [[Artigo científico|artigos]] mais importantes na teoria da complexidade computacional. O artigo mostra ser possível multiplicar doi ...

...Moore]], um pioneiro da teoria dos autômatos celulares. Este conceito é um dos mais usados, assim como a [[Vizinhança de von Neumann]], onde se usam 4 cél A vizinhança de Moore de um ponto é o conjunto dos pontos que estão à uma distancia de 1, utilizando a métrica da '''Distância ...

Na [[teoria dos autômatos]], um '''autômato finito alternado''' (AFA) é um [[autômato finito não-dete * <math>\ F</math> é o conjunto dos estados de aceitação, tal que <math>F \subseteq S(\exists) \cup S(\forall)< ...

Na teoria dos autômatos, um '''autômato híbrido''' é um [[modelo matemático]] para descrever precis ...ções precisas e modifica o aquecedor para ligado e desligado. Em geral, os autômatos híbridos têm sido usados para modelar e analisar uma grande variedade de si ...

Na [[teoria dos autômatos]], um '''autômato com pilha''' é um [[autômato finito]] com uma [[memória]] Autômatos com pilha diferem da definição normal de [[Máquinas de Estados Finitos|máqu ...

...; o número de argumentos é a aridade da função. Os argumentos ficam dentro dos parênteses, separados por vírgulas, por exemplo: ...na [[Teoria dos autômatos]], portanto estas lógicas podem ser vistas como autômatos também. ...

Em [[teoria dos conjuntos]], uma '''árvore''' é um [[conjunto parcialmente ordenado]] (''T' ...relação borda natural que vai fazer''T'' uma árvore, no sentido da teoria dos grafos. Por exemplo, o conjunto <math>\omega + 1 = \left\{0, 1, 2, \dots, \ ...

...uras de árvores finitas. Também pode ser visto como uma extensão de alguns autômatos de palavras infinitas, como o [[autômato de Büchi]] e o [[autômato de Mulle Um autômato de árvore infinita roda sobre uma [[Árvore (teoria dos conjuntos)|árvore]] rotulada <math>\Sigma</math>. Há muitas formulações lig ...

...ísticos sobre palavras. As codificações lineares de linguagens aceitas por autômatos finitos de palavra aninhada resultam em uma classe de linguagem visivelment ..., usando um alfabeto “rotulado” <math> \hat{\Sigma}</math>, em que cada um dos [[Símbolo|símbolos]] ''a'' de Σ h possui três contrapartes: o símbolo ⟨a qu ...

Na [[teoria dos autômatos]], um '''autômato com pilha determinístico''' (APD) é uma variante de [[aut ...o equivalentes para autômatos com pilha determinísticos (embora sejam para autômatos com pilha não determinísticos). As linguagens aceitas por "pilha vazia" são ...

== Teoria == * [[Autômatos finitos determinísticos]] ...

Na [[Teoria da computação]], um '''autômato finito não determinístico generalizado (AFN ...tre estados. Em um AFNG, um estado possui uma única transição para cada um dos outros estados da máquina, embora frequentemente seja uma convenção ignorar ...

Autômatos com pilha embutida foram descritos primeiramente por K. Vijay-Shanker em su ==Teoria== ...

...'' de base ''k'' é a [[Lógica de primeira ordem|teoria de primeira ordem]] dos [[Número natural|números naturais]] com  [[adição]] e a função <math>V_k(x) ...ano|da aritmética de Peano]], a aritmética de Büchi é uma [[Decidibilidade|teoria decidível]]. Isto significa que é possível, efetivamente, determinar para q ...

...o utiliza bits aleatórios como um guia para o seu comportamento. Diferente dos algoritmos convencionais, um algoritmo probabilístico, dada uma mesma sequê === Autômatos finitos probabilísticos === ...

...fluenciou = [[Algoritmo|Teoria de Algoritmos]], [[autômato|Teoria de Autômatos]] ...e autômatos, e deu início a uma nova direção em matemática e computação: a teoria de algoritmos rápidos. ...