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

Dado um idioma comum (NFA, DFA, gramática ou regex), como pode ser contado o número de palavras aceitantes em um determinado idioma? Tanto "com exatamente n letras" quanto "com no máximo n letras" são de interesse. Margareta Ackerman tem dois trabalhos sobre o assunto relacionado de enumerar palavras aceitas por …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

Em muitos trabalhos que envolvem gramáticas livres de contexto (CFGs), os exemplos de tais gramáticas apresentadas frequentemente admitem caracterizações fáceis da linguagem que geram. Por exemplo: S→ a a SbS→umaumaSbS \to a a S b S→S→S \to gera ,{ a2 ibEu| i≥0}{uma2EubEu|Eu≥0 0}\{ a^{2i} b^i | i \geq 0\} S→ …

25 fl.formal-languages  context-free  context-free-languages 

1) Qual é a relação entre tipagem estática e gramáticas formais? 2) Em particular, seria possível para um autômato limitado linear verificar se, digamos, um programa C ++ ou SML foi bem digitado? Um autômato de pilha aninhado? 3) Existe uma maneira natural de expressar regras de digitação estática em …

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference 

Recentemente, eu estava lendo o analisador Earley e acho que é um dos algoritmos mais elegantes que já vi até hoje. No entanto, o algoritmo em seu sentido tradicional é um reconhecedor e não um analisador, o que significa que ele pode detectar se uma sequência corresponde a um CFG …

25 fl.formal-languages  parsing 

Para qualquer idioma sobre , defina Em palavras, é composto por todos os para o qual existe uma de igual comprimento tal que .LLLΣ∗Σ∗\Sigma^*L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L_{1/2} = \{x \in \Sigma^* : xy\in L, y\in\Sigma^{|x|} \}.L1/2L1/2L_{1/2}xxxyyyxy∈Lxy∈Lxy\in L Um exercício no livro de Sipser pede para mostrar que é regular sempre que é. Vi …

24 fl.formal-languages  automata-theory 

Para um alfabeto finito fixo , uma linguagem formal sobre é regular, se existe um autômato finito determinístico (DFA) sobre que aceita exatamente .ΣΣ\SigmaLeuLΣΣ\SigmaΣΣ\SigmaLeuL Estou interessado em idiomas "quase" regulares no sentido de que podem ser reconhecidos por famílias de tamanho de autômatos que crescem apenas polinomialmente com o comprimento …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

Alguns de vocês podem estar seguindo esta pergunta , que foi encerrada por não estar em nível de pesquisa. Então, estou extraindo a parte da pergunta que está no nível da pesquisa. Além das técnicas "mais simples", como reduzir a classificação ou um problema EXPTIME-complete, quais técnicas foram usadas para …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Ao mexer na análise de LR não-canônica, pensei em um método de análise (com tabelas de tamanho infinito, o que o torna um tanto impraticável ) capaz de analisar exatamente as gramáticas inequívocas no tempo , e me perguntei se é possível fazer melhor. :O ( n2)O(n2)O(n^2) Todas as gramáticas …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Além da complexidade (determinística) da comunicação de uma relação R , outra medida básica para a quantidade de comunicação necessária é o número da partição do protocolo p p ( R ) . A relação entre essas duas medidas é conhecida até um fator constante. A monografia de Kushilevitz e …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

Percebi que as línguas regulares sobre o alfabeto podem ser pensadas naturalmente como um poset e, de fato, uma treliça. Além disso, a concatenação junto com o idioma vazio ϵ define uma estrutura monoidal estrita nessa categoria que é distributiva sobre junções (não tenho certeza sobre os encontros). Essa é …

21 fl.formal-languages  regular-language  ct.category-theory 

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 

por o número de palavras de comprimento em um idioma (possivelmente ambíguo) sem contexto.Wnwnw_nnnn O que se sabe sobre ?WnWnw_n Tenho certeza de que isso foi estudado muito, mas não consegui encontrar nada.

20 fl.formal-languages  context-free 

Dadas as expressões regulares , existem limites não triviais no tamanho da menor gramática livre de contexto para ?R 1 ∩ ⋯ ∩ R nR1, … , RnR1,…,RnR_1, \dots, R_nR1∩ ⋯ ∩ RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n

20 fl.formal-languages  regular-language  context-free 

Defina a seguinte classe de idiomas "circulares" sobre um alfabeto finito Sigma. Na verdade, o nome já existe para denotar uma coisa diferente que parece, usada no campo da computação de DNA. AFAICT, essa é uma classe de idiomas diferente. Uma linguagem L é circular se, para todas as palavras …

20 fl.formal-languages  automata-theory  regular-language 

É 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