Atualmente, estou tentando provar um idioma regularmente (para diversão pessoal). O idioma é: O idioma que contém todos os números no ternário que possuem paridade de bits quando codificados em binário. Atualmente, tentei algumas abordagens diferentes que não me levaram a nenhum sucesso. Tentei...
É sabido que as línguas regulares são caracterizadas pela equivalência Myhill-Nerode. Para o idiomaeuLL sobre Σ∗Σ∗\Sigma^* defina a equivalência x∼euyx∼Lyx\sim_L y sobre Σ∗Σ∗\Sigma^* iff para todos z∈Σ∗z∈Σ∗z\in\Sigma^* temos x z∈ L⟺yz∈ Lxz∈L⟺yz∈Lxz\in L \iff yz\in L. EntãoeuLL é regular se...
É 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...
Eu me pergunto como posso provar que, se um idioma L é decidível em o (nlog (n)), então L deve ser regular. Eu provavelmente deveria mencionar que, por "decidível", quero dizer "ser decidível por uma máquina de turística determinística de fita única". Obrigado e cumprimentos...
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...
Basicamente o que o título diz. Por que você pode "ignorar" a parte "xy" se deseja provar se um idioma é
Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end...
Seja um alfabeto e sejam cadeias de caracteres sobre esse alfabeto. Chame uma string good se for uma subsequência de mas não uma subsequência de nenhuma de .ΣΣ\Sigmax+,x−1,…,x−n∈Σ∗x+,x1−,…,xn−∈Σ∗x^+,x^-_1,\dots,x^-_n \in \Sigma^*s∈Σ∗s∈Σ∗s \in \Sigma^*...
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:...
A primeira frase do artigo da Wikipedia sobre o Teorema de Parikh afirma: "O teorema de Parikh em ciência da computação teórica diz que, se olharmos apenas para o número relativo de ocorrências de símbolos terminais em uma linguagem livre de contexto, sem levar em conta sua ordem, então a...
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...
Eu estive mexendo com esse problema durante a última hora e estou incrivelmente perplexo. Seja . Mostre que é regular.A={0ku0k∣k≥1 and u∈Σ∗}A={0ku0k∣k≥1 and u∈Σ∗}A = \{\; 0^ku0^k \mid k ≥ 1 \text{ and }u ∈ Σ^*\;\}AAA Obviamente, a linguagem satisfaz o lema de bombeamento, mas isso não é...
Estou lendo "Uma Introdução às Línguas Formais e Autômatos", escrito por Peter Linz e, depois de ler os cinco primeiros capítulos, enfrento o problema com gramáticas simples e regulares (especialmente lineares à direita), muito parecidas entre si. Que relação existe entre estes? Qual é a...
Vai L={a∗b∗}L={a∗b∗}L = \{a^* b^*\} ser classificado como um idioma regular? Estou confuso porque sei que L={anbn}L={anbn}L = \{a^n b^n\}não é regular. Que diferença faz a estrela
Vamos denotar a representação binária de um número inteiro . Deixe .bin(n)bin(n)\mbox{bin}(n)nnnL={bin(n2)∣n∈N}L={bin(n2)∣n∈N}L = \{ \mbox{bin}(n^2) \mid n \in \mathbb{N} \} é uma linguagem comum?LLL Acho que se pode provar que não é regular usando o lema de bombeamento, mas não sei como...
L = { ϵ }L={ϵ}L = \left \{ \epsilon \right \} Claramente, esse idioma é finito, portanto deve ser um idioma regular. Agora, como toda linguagem comum é sensível ao contexto,euLLé uma CSL. Podemos definir a gramática paraeuLL Como : S→ ϵS→ϵS\rightarrow \epsilon Agora desde euLLé uma CSL, essa...