Suponha que é um idioma comum sobre um alfabeto ordenado. O idioma é construído ao pegar todas as palavras em e classificá-las sempre como um idioma
A questão está praticamente no título. Existe um momento em que algum idioma pode ser aceito por um DFA mínimo com n estados, mas L R , a reversão de L , pode ser aceito por um DFA com m estados, em que m < n
Estou trabalhando com um exercício árduo em um livro didático e não consigo descobrir como proceder. Aqui está o problema. Suponha que tenhamos a linguagem que é algum número irracional. Como eu provaria que não é uma linguagem livre de contexto?L={aibj:i≤jγ,i≥0,j≥1}L={aibj:i≤jγ,i≥0,j≥1}L =...
Eu sei que idiomas que podem ser definidos usando expressões regulares e reconhecíveis pelo DFA / NFA (autômatos finitos) são equivalentes. Também não existe DFA para o idioma . Mas ainda assim ele pode ser escrito usando expressões regulares (para que o assunto qualquer linguagem não-regular pode...
Pela minha leitura, parece que a maioria das gramáticas está preocupada em gerar um número infinito de strings. E se você trabalhasse o contrário? Se forem dadas n strings de m length, deve ser possível fazer uma gramática que gere essas strings, e apenas essas strings. Existe um método conhecido...
Uma maneira de observar expressões regulares é como uma prova construtiva do seguinte fato: é possível construir os idiomas regulares iniciando com um pequeno conjunto de idiomas e combinando-os por meio de um pequeno conjunto fixo de propriedades de fechamento. Especificamente, se começarmos com o...
Descreva um idioma comum que não possa ser aceito por nenhum DFA que possua apenas três estados. Não sei muito bem por onde começar e queria saber se alguém poderia me dar algumas dicas ou conselhos. Entendo que o lema de bombeamento pode ser usado para provar que um idioma não é regular, mas,...
Comecei a estudar autômatos não determinísticos usando o livro de Hopcroft e Ullman . Estou preso em um problema que achei muito interessante: Forneça um autômato finito não determinístico, aceitando todas as cadeias que tenham o mesmo valor quando avaliadas da esquerda para a direita e da...
Estou preso resolvendo o próximo exercício: Argumente que se é livre de contexto e R é regular, então L / R = { w ∣ ∃ x ∈ ReuLLRRR (ou seja, oquociente certo) é livre de contexto.L / R = { w ∣ ∃ x ∈ Rstw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Eu sei...
Dado um idioma , como posso dizer diretamente, sem examinar as regras de produção, que esse idioma não é regular?L={anbncn}L={anbncn} L= \{a^n b^n c^n\} Eu poderia usar o lema de bombeamento, mas alguns caras estão dizendo apenas olhando para a gramática que essa não é regular. Como isso é...
Normalmente, vejo que na representação semântica operacional estrutural do loop while, o estado do programa não muda: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S)...
No artigo Analisando expressões por descendência recursiva de Theodore Norvell (1999), o autor começa com a seguinte gramática para expressões aritméticas: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v o que é bastante ruim, porque é ambíguo e recursivo à...
Fiz meus exames de teoria da computação há algumas semanas e essa foi uma das perguntas: Assuma o idiomaL = { ( anbm)r∣ n , m , r ≥ 0 }L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L é regular? Se sim, forneça uma expressão regular ou um autômato. Depois que eu lhe perguntei...
Encontrei esse problema envolvendo a manipulação de uma linguagem livre de contexto. Seja uma linguagem livre de contexto. Definir L # = { x : x i ∈ L para cada i = 0 , 1 , 2 , . . . } . É L # sempre livre de contexto? Meu palpite é que preservará a transparência do contexto. Alguém pode fornecer...
Recentemente, fiz uma pergunta no Math SE. Nenhuma resposta ainda. Esta questão está relacionada a essa pergunta, mas mais detalhes técnicos sobre ciência da computação. Dado dois DFAs e que o conjunto de estados, o alfabeto de entrada e a função de transição de e são iguais, os estados iniciais e...
Uma linguagem formal LLL sobre um alfabeto é um subconjunto de , ou seja, um conjunto de palavras sobre esse alfabeto. Duas linguagens formais e são iguais, se os conjuntos correspondentes forem extensionalmente iguais como subconjuntos de . Pode-se usar linguagens na teoria da complexidade para...
Eu tenho lido alguns artigos formais de teoria da linguagem e me deparei com um termo que não entendo. O documento geralmente se refere a um conjunto "efetivamente fechado sob interseção" ou outras operações. O que "efetivamente" significa aqui? Como isso difere do fechamento normal? Para...
Eu sou um graduado em CS (mas não sei muito sobre IA, mas não fiz nenhum curso sobre ela, e definitivamente nada sobre NN até recentemente), que está prestes a fazer um projeto escolar em AI, então escolho alguns tópicos sobre indução gramatical (da linguagem livre de contexto e talvez de algum...
Eu estava pensando recentemente o que aconteceria se permitíssemos que as gramáticas sem contexto tivessem um número infinito de regras. Claramente, se permitirmos arbitrários conjuntos infinitos de regras, todo idioma sobre algum alfabeto poderia ser descrito por um CFG com . Mas e se...
Estou procurando uma gramática sensível ao contexto que descreva o seguinte idioma: .L = { w w ∣ w ∈ { a , b }∗, | w | ≥ 1 }L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Eu tenho problemas com o fato de que nenhuma regra como é permitida e, portanto, não posso colocar nenhum...