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

De um comentário , uma pergunta interessante surgiu. A classe de CFLs (os idiomas reconhecidos pelos PDAs) obviamente não está fechada sob não-determinismo - o que quero dizer com isso é que os PDAs determinísticos não são equivalentes em poder aos PDAs não-determinísticos. No entanto, todas as CFLs são decidíveis …

7 formal-languages  context-free  closure-properties  computation-models  nondeterminism 

As linguagens livres de contexto podem ser obtidas como o fechamento da linguagem Dyck nas operações do cone . A linguagem Dyck é uma linguagem livre de contexto determinístico, e as operações de cone correspondem às operações que podem ser implementadas por transdutores de estado finito não determinísticos. Esse resultado …

7 complexity-theory  formal-languages  closure-properties  np 

Em um curso de ciência da computação, é comum estudar a hierarquia de linguagens formais, gramáticas, autômatos e máquinas de Turing. Gostaria de saber qual é a relação desses objetos com sistemas formais. Por exemplo, o cálculo lambda é considerado um sistema formal. Sua gramática também seria considerada um sistema …

7 formal-languages  formal-grammars 

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 …

7 formal-languages  regular-languages  finite-automata  closure-properties 

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 …

7 formal-languages  regular-languages  context-free 

Encontrei uma declaração (sem explicação) de que um idioma A =0 0∗UMA=0 0∗A = 0^*é decidível. Como isso é possível? Quero dizer, como construiríamos uma máquina de Turing que aceitaria (ou rejeitaria) uma sequência possivelmente infinita de zeros? Eu também pensei que talvez pudéssemos criar um enumerador que criaria todas …

7 formal-languages  computability 

Defina . Em outras palavras, é o conjunto de primeiras metades de cadeias de comprimento, mesmo em . Diante disso, se é livre de contexto, ser livre de contexto?FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L) = \{x \in \Sigma^* : \exists y \in \Sigma^* \text{ with …

7 formal-languages  context-free  closure-properties 

Estou tentando resolver o próximo exame e não tenho idéia de como gerar a gramática para idiomas sensíveis ao contexto, por exemplo, como devo proceder nesse tipo de pergunta. Forneça uma gramática sensível ao contexto (não apenas para aumentar o comprimento) {www:w∈{a,b}⋆}{WWW:W∈{uma,b}⋆}\{www : w ∈ \{a, b\}^⋆\}. Idéias ou abordagens …

7 formal-languages  formal-grammars  context-sensitive 

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 …

7 formal-languages  finite-automata  nondeterminism 

A seguinte matriz ocupa 10.000 slots na memória: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Mas pode-se facilmente representar a mesma matriz que: a = {len:10000, get: λ idx -> idx} O que é muito mais compacto. Da mesma forma, existem várias matrizes que podem ser representadas compactamente: a = {a:1000, get: λ idx …

7 algorithms  complexity-theory  formal-languages  programming-languages  data-compression 

No sentido de uma string distinta de uma string de referência nula, qual é a importância de uma string vazia no CS (e especialmente nas linguagens formais)? Por que você precisa de um conceito separado, o de 'string vazia', que até tem sua própria letra grega (ε)? Um personagem EOL …

7 formal-languages  terminology 

Esta é uma pergunta do exame do nosso curso "Autômatos e línguas formais". Há uma pergunta em que é solicitado que prove ou refute que qualquer operação de "complemento relativo" entre duas linguagens sensíveis ao contexto também produzirá uma linguagem sensível ao contexto. Das propriedades de fechamento sensíveis ao contexto …

7 formal-languages  closure-properties  context-sensitive 

Considere um idioma regular LLL. Seja um DFA mínimo para e seja um NFA mínimo para (mínimo no sentido do menor número possível de estados para um autômato que reconheça o idioma especificado). Escrevapara o tamanho (número de estados) do autómato . Em geral,pode ser muito menor que(até , pois …

7 formal-languages  automata  finite-automata  descriptive-complexity 

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 simétrica DFA …

7 formal-languages  reference-request  regular-languages  finite-automata 

Estou fazendo algumas pesquisas sobre os NFAs e problemas de inclusão com eles. Eu sei que, em geral, os problemas de inclusão e a conversão para uma NFA inequívoca são ambos completos do PSPACE. Gostaria de saber, existem subclasses de NFA para as quais elas podem ser decididas com eficiência? …

7 complexity-theory  formal-languages  automata  finite-automata  nondeterminism