Perguntas com a marcação «formal-languages»

Estou apenas começando a entrar na teoria da computação, que estuda o que pode ser calculado, com que rapidez, usando quanta memória e com qual modelo computacional. Eu tenho uma pergunta bem básica, mas realmente espero que alguns de vocês possam me ajudar a entender o conceito por trás disso: …

10 complexity-theory  formal-languages 

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 …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

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 normal?LLLLLLL

10 formal-languages  regular-languages 

Existe a necessidade de ser infinito para ser indecidível?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Quero dizer, e se escolhermos um idioma seja uma versão finita limitada de , ou seja , ( ), com . É possível que seja uma linguagem indecidível? L ⊆ Σ * | L ' | ≤ N N ∈ …

10 formal-languages  computability  undecidability 

Escreva para a expansão decimal de (sem avanço ). Deixe e ser inteiros, com . Considere o idioma das expansões decimais dos múltiplos de mais uma constante:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} é regular? sem contexto?MMM (Contraste com o idioma do gráfico de uma função …

10 formal-languages  context-free  regular-languages  integers 

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 …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

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 ser) como . …

10 formal-languages  regular-languages  regular-expressions 

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 &lt; n ?euLLnnneuRLRL^ReuLLmmmm&lt;nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Por que (se houver) o separador está fazendo a diferença entre os dois idiomas?##\# Deixe dizer: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Aqui está uma prova e uma gramática representando como uma CFLLLLCFLCFLCFL Abaixo, estou adicionando uma prova …

9 formal-languages  context-free  pumping-lemma 

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 restringirmos a esses conjuntos de regras …

9 formal-languages  context-free  formal-grammars 

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) \> else \> SKIP, \sigma) Para mim, isso não é intuitivo, se o estado …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

Penso nas línguas unárias , onde é um conjunto de todas as palavras cujo comprimento é a soma dos quadrados. Formalmente: É fácil mostrar que não é regular (por exemplo, com Pumping-Lemma). Além disso, sabemos que cada número natural é a soma de quatro quadrados, o que implica que para …

9 formal-languages  regular-languages 

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 formalizar o conceito de …

9 complexity-theory  formal-languages  reference-request 

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 …

9 formal-languages  formal-grammars  context-sensitive 

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 …

9 formal-languages  reference-request  finite-automata