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...
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...
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
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 regulares é fechada sob a...
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
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,...
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 é a resposta...
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...
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...
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...
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...
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...
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
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 b a b a...
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...
Digamos que temos três DFAs. Nós sabemos como OR, AND, ou NOT eles. Mas como alguém os XOR? Não há uma única menção a isso online. xX O RyX O Rz= ( ( x | y) ( ¬ x | y) | z) ( ¬ ( ( x | y) ( ¬ x | y) ) | z)xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)x\; \mathrm{XOR} \;y\; \mathrm{XOR} \;z =...
Sejak ∈ Nk∈Nk\in \mathbb N Estou procurando uma compilação NFA pequena para a linguagem de concatenação de duas palavras do comprimento que são diferentes em termos de índice, ou seja,kkkeuk= { u ⋅ v ∈Σ∗: | u | = | v | = k ∧ ∀ i ,vocêEu≠vEu}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in \Sigma^*...
Para minha tese de bacharelado, considero a classe de idiomas reconhecida pelos DFAs simétricos, ou seja, autômatos finitos determinísticos (completos) que atendem à seguinte condição: Seja um DFA completo sobre o alfabeto . Se, para cada e cada transição em , há uma transição em , chamamos uma...
Então, eu tenho tentado resolver isso por um longo tempo e quase sinto que estou dando voltas sobre essa questão. Dado o seguinte NFA: Usando o algoritmo GNFA, obtenha a expressão regular. Entendo que você teria o seguinte para a primeira etapa (adicionando estados vazios): O próximo passo...
Estou participando da classe Coursera em compiladores e, na lição sobre lexers, é sugerido que existe uma troca de espaço-tempo entre o uso de autômato finito não determinístico (NFA) e autômato finito determinístico (DFA) para analisar expressões regulares. Se bem entendi, a desvantagem é que um...