Perguntas com a marcação «grammars»

É o idioma { } ou não livre de contexto?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Percebi que encontrei quase todas as variantes dessa questão com diferentes condições sobre a relação entre i, j e k, mas não essa. Meu palpite é …

30 automata-theory  fl.formal-languages  grammars 

Como projeto paralelo, estou escrevendo uma linguagem usando Python. Comecei usando um clone flex / bison chamado Ply, mas estou enfrentando os limites no poder do que posso expressar com esse estilo de gramática, e não estou interessado em invadir minha linguagem por causa de uma incompatibilidade de impedância com …

28 fl.formal-languages  pl.programming-languages  grammars 

O lema de bombeamento para linguagens regulares pode ser provado considerando-se um autômato de estado finito que reconhece a linguagem estudada, escolhendo uma corda com um comprimento maior que o número de estados e aplicando o princípio do buraco de pombo. O lema de bombeamento para linguagens livres de contexto …

21 fl.formal-languages  automata-theory  proofs  grammars 

É sabido que o problema da equivalência é indecidível para linguagens gerais livres de contexto. No entanto, todas as provas desse fato que tenho conhecimento parecem envolver algumas gramáticas ambíguas e livres de contexto. Por esse motivo, gostaria de perguntar se é sabido se o problema permanece indecidível enquanto se …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Esta é uma reformulação dos programas de gramática São? solicitado anteriormente por Vag e com muitas sugestões dos comentaristas. De que maneira uma gramática pode ser vista como especificando um modelo de computação? Se, por exemplo, usarmos uma gramática simples, livre de contexto, como G ::= '1' -> '0' '+' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

No capítulo 4 de A Second Course in Automata Theory, de Jeffrey Shallit, o seguinte problema é listado como aberto: p(n)p(n)p(n)∈Np(n) \in \mathbb{N}n∈Nn \in \mathbb{N}{ P ( n ) | n ⩾ 0 }{p(n)∣n⩾0}\{p(n) \mid n \geqslant 0\}ppp⩽1⩽1\leqslant 1 Qual é o seu status agora (como em outubro de 2018)? …

14 fl.formal-languages  nt.number-theory  grammars 

Considere a seguinte pergunta natural: Dada uma linguagem finita , qual é a menor gramática livre de contexto que gera L ?eueuLeueuL Nós podemos fazer a pergunta mais interessante, especificando uma sequência de línguas , por exemplo L n é o conjunto de todas as permutações de { 1 , …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

Deixe um número ser dado. Considere o seguinte idioma L n = {nnn .eun= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Em palavras, é o conjunto de cadeias de cópia de comprimento 2 n .eunLnL_n2 n2n2n Considere …

10 fl.formal-languages  automata-theory  grammars  context-free 

Seja uma linguagem livre de contexto. Definir p p c ( G ) ser o encerramento pré e pós-fixa de L , por outras palavras, p p c ( G ) contém todos G 's prefixos e sufixos, e, portanto, G si. Minha pergunta: se L é livre de contexto …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

Estou interessado em música para computador, onde existem abordagens para tratar peças de música como sentenças em gramáticas generativas ou sistemas L. Em vez de compor, pode-se especificar uma gramática e deixar o computador gerar a música. Por exemplo, o grupo de Yale em torno do falecido Paul Hudak é …

9 grammars 

Qual é a proporção de CFGs ambíguos para todos os CFGs ? Como os dois conjuntos são infinitamente contáveis, a proporção não está bem definida. Mas e a densidade assintótica : limn ↦ ∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac …

9 fl.formal-languages  grammars  context-free 

Existem permutações e tamanho polinomial (em | w | = n ) gramática livre de contexto que descreve a linguagem finita { w π 1 ( w ) π 2 ( w ) } sobre o alfabeto { 0 , 1 } ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{ 0 , 1 }{0,1}\{0,1\} ATUALIZAÇÃO: …

9 fl.formal-languages  grammars  context-free 

Estou confuso sobre o exemplo dado no artigo da Wikipedia sobre gramática sensível ao contexto: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Eu já mudei a seção discutida no artigo da wikipedia, portanto, o estado atual do artigo será diferente do que estou discutindo nesta pergunta. A versão original está aqui: https://en.wikipedia.org/w/index.php?title=Context-sensitive_grammar&oldid=747616366 A seguinte …

8 fl.formal-languages  grammars 

Estou tentando esclarecer meu entendimento no exemplo apresentado na Seção 2.2 dos autômatos finitos quânticos de 1 via: fortalece as fraquezas e as generalizações (esse link alternativo também pode ser útil). Este exemplo fornece um exemplo muito simplificado de um 1-QFA com as seguintes regras de transição: ,Va|q0⟩ = 12| …

8 fl.formal-languages  quantum-computing  automata-theory  grammars 

Sabemos que todos os autômatos push-down são representáveis ​​usando gramáticas sem contexto. Além disso, existe um algoritmo para construir um CFG a partir de qualquer PDA (por exemplo, a prova de Sipser na introdução à teoria da computação). Existem ferramentas que fazem essa tradução? Ou seja, eu posso colocar um …

8 automata-theory  fl.formal-languages  grammars  software