Perguntas com a marcação «finite-automata»

Em nosso curso de conceitos de linguagem de programação, nosso instrutor afirmou que não há problema em um estado final levar a outro estado em um diagrama de estados finitos. Mas esse parece ser um conceito fundamentalmente contraditório. Como um estado final, por definição, é aquele que termina as transições, …

8 formal-languages  graphs  regular-languages  finite-automata 

Atualmente, estou lendo o livro Introdução à Teoria da Computação (2 ou 3 Ed.), De Michael Sipser , e me deparei com uma pergunta no Capítulo 1 - Linguagens Regulares , ou seja, quando o autor está apresentando a ideia de prova do Teorema 1.49 - "A classe de idiomas …

8 regular-languages  automata  finite-automata  nondeterminism 

Estou tendo problemas para tentar determinar se todos os números quadrados (1, 4, 9, 16, ...) escritos em formato binário (1, 100, 1001, ...) são uma linguagem comum. Após algumas tentativas de encontrar um padrão comum desses números, descobri que, para qualquer número quadrado n2n2n^2, n2mod4n2mod4n^2 mod 4é igual a …

8 formal-languages  regular-languages  automata  finite-automata 

Após minha aula de Teoria da Computação hoje, essa pergunta surgiu em minha mente: se um problema pode ser resolvido por um autômato finito, esse problema pertence a P. Eu acho que é verdade, já que os autômatos reconhecem linguagens muito simples, portanto todas essas linguagens teriam algoritmos polinomiais para …

8 complexity-theory  automata  finite-automata  polynomial-time 

Isso é algo que não consegui encontrar - mas sempre achei interessante que o lema de bombeamento fosse apenas um lema (especialmente porque ele tem o mesmo nome para idiomas regulares, idiomas livres de contexto, etc ...) Para que é um lema?

8 complexity-theory  regular-languages  finite-automata 

L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | o comprimento de é ímpar 1 está no meio dewww∧∧ \wedge w}w}w\} Portanto, o alfabeto é . Meu problema é que não consigo acompanhar a igualdade de caracteres antes e depois de . Um DFA limitado para o comprimento inferior a 6:{0,1}∗{0,1}∗\{0,1\}^*111 Como posso …

8 formal-languages  finite-automata  formal-grammars 

Eu tenho um autômato finito sem estados finais / de aceitação, então F está vazio. Como faço para minimizá-lo? Fiz isso em um teste e não sabia como abordar o problema porque o autômato não tinha estados de aceitação. Um único estado inicial com todas as transições em si é …

8 automata  finite-automata 

Seja um NFA acíclico.MMM Como é acíclico, é finito.MMML ( M)eu(M)L(M) Podemos calcularem tempo polinomial?| L(M) ||eu(M)||L(M)| Se não, podemos aproximar? Observe que o número de palavras não é igual ao número de caminhos aceitantes em , que é facilmente computável.MMM Deixe-me mencionar uma abordagem óbvia que não funciona: converter …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

Isso está um pouco relacionado a outra pergunta que fiz , mas acho que é diferente o suficiente para justificar sua própria pergunta. Estou pesquisando onde estou tentando encontrar a estrutura de complementos de uma determinada classe de linguagens finitas. É fácil para mim conseguir o mínimo de DFAs aceitando …

8 formal-languages  automata  finite-automata  discrete-mathematics  nondeterminism 

Estou procurando aplicações práticas de máquinas de estado finito como máquinas DFA, NFA, Moore, Mealy ... Seria útil se alguém apontasse para exemplos do Linux Kernel. Eu sei que o DFA é usado na correspondência de strings como o algoritmo KMP. Qual é o significado das máquinas NFA, Moore e …

8 reference-request  automata  finite-automata 

Então, eu estou coçando a cabeça sobre esse problema há alguns dias. Dada uma linguagem regular e , mostre que a linguagem que consiste em todas as strings em cujo comprimento é igual a alguma string em é uma linguagem regular.AAABBBLLLAAABBB Em forma de equação: L={x∈A∣∃y∈B s.t. |x|=|y|}L={x∈A∣∃y∈B s.t. |x|=|y|}L …

8 formal-languages  regular-languages  finite-automata  proof-techniques  closure-properties 

Eu tenho tentado implementar o algoritmo de Brzozowski, mas acabei de descobrir que ele cria autômatos abaixo do ideal para uma determinada classe de entradas, tendo mais um estado do que o que é realmente necessário no resultado. Eu posso mostrá-lo em um autômato trivial: a b a b a …

8 algorithms  automata  finite-automata 

Eu tenho alguns dias em um exame e tenho problemas para resolver esta tarefa. Seja uma linguagem regular sobre o alfabeto . Temos a operação E agora devemos mostrar esse também é regular.LLLΣΣ\Sigmacycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and } yx\in L\}cycle(L)cycle⁡(L)\operatorname{cycle}(L) A referência …

8 formal-languages  regular-languages  finite-automata  closure-properties 

Podemos converter um NFA com estados em uma expressão regular de length ?nnnpoly(n)poly(n)\mathrm{poly}(n) Por outro lado, é sabido que uma expressão regular de comprimento pode ser facilmente convertida em um NFA do estado .nnnO(n)O(n)\mathcal{O}(n)

8 regular-languages  finite-automata  regular-expressions 

Tenho uma pergunta sobre a contagem de DFAs: Dada uma Σ = {0, 1}sequência de entrada, com o estado definido Q = {1...n}, como eu encontraria o número total de DFAs que podem ser construídos? Acredito que este seja um problema combinatório, mas não tenho muita certeza do que precisaria …

8 finite-automata  combinatorics