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

Perguntas sobre autômatos finitos, um modelo elementar de autômatos com memória finita. É equivalente a linguagens regulares e a base para muitos modelos mais complexos.

1
Qual é a complexidade do problema da universalidade para uma NFA com todos os estados aceitando?
É sabido que o problema da universalidade para a NFA (decidir se L(A)=Σ∗L(A)=Σ∗L(A)=\Sigma^*) é PSPACEPSPACEPSPACE-completo. No entanto, e se todos os estados da NFA estiverem aceitando? Parece-me que o problema está no máximocococo-NPNPNP, como um contra-exemplo (diferente do caso de uma NFA geral) é polinomial (mesmo linear) no tamanho da …
4
Expressões regulares e 'captura de parênteses' com 'referências anteriores'
Sabemos que expressões regulares (ER) são implementadas com autômatos finitos (FA). Em alguma linguagem (como JavaScript) no RE, existem recursos como 'capturando parênteses' com 'referências anteriores': https://developer.mozilla.org/en-US/docs/Web/JavaScript/Guide/Regular_Expressions#special-capturing-parentheses (x) Corresponde a 'x' e se lembra da correspondência, como mostra o exemplo a seguir. Os parênteses são chamados de captura de parênteses. …
1
E se
Estou interessado em provar que eu--√= { w : w w ∈ L }L={w:ww∈L}\sqrt{L}=\{w:ww\in L\} é regular se euLLé regular, mas parece que não estou chegando a lugar algum. Se possível, eu estava esperando uma dica para me levar na direção certa. Obrigado pela ajuda. Minha idéia para demonstrar a …
2
Autômato para correspondência de substring
Dado sss como uma string sobre algum alfabeto, qual é o algoritmo mais conhecido para calcular um autômato determinístico de estado finito (DFA) determinístico que aceita qualquer string que contenha sss? Estou interessado principalmente na menor complexidade de tempo, portanto, se você me disser qual é a complexidade mais conhecida …
4
Existem lexers reais que usam NFAs diretamente em vez de primeiro transformá-los em DFAs?
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 NFA é menor, mas …
2
Esta interseção de DFAs está correta?
Estou construindo um autômato finito determinístico (DFA) para um idioma de todas as strings definidas sobre cujo comprimento é par e o número de s é ímpar. Eu construí cada DFA separadamente e depois combinei:{0,1}{0,1}\{0,1\}111 O procedimento fornecido para combinar DFAs está correto? EDIT: Originalmente escreveu união; realmente fazendo o …
1
Conexão entre a função de prefixo KMP e o autômato de correspondência de cadeias
Seja o autômato de correspondência de cadeia para o padrão , ou sejaAP=(Q,Σ,δ,0,{m})AP=(Q,Σ,δ,0,{m})A_P = (Q,\Sigma,\delta,0,\{m\})P∈ΣmP∈ΣmP \in \Sigma^m Q={0,1,…,m}Q={0,1,…,m}Q = \{0,1,\dots,m\} δ(q,a)=σP(P0,q⋅a)δ(q,a)=σP(P0,q⋅a)\delta(q,a) = \sigma_P(P_{0,q}\cdot a) para todos os eq∈Qq∈Qq\in Qa∈Σa∈Σa\in \Sigma com o comprimento do prefixo mais longo de que é um sufixo de , ou sejaσP(w)σP(w)\sigma_P(w)PPPwww σP(w)=max{k∈N0∣P0,k⊐w}σP(w)=max{k∈N0∣P0,k⊐w}\qquad \displaystyle \sigma_P(w) = …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.