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
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 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...
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...
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 =...
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...
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^*...
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...