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

Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a ele que nunca funcionaria, porque …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Essa gramática é deixada recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Portanto, em teoria, a descida recursiva não funcionará. Mas, explorando …

8 reference-request  formal-grammars  recursion  parsers  left-recursion 

Pergunta: Existem textos introdutórios na linguagem formal ou na teoria da linguagem de programação que discutam como aplicá-la ao estudo da notação ideal? Em particular, estou interessado em aprender o que são linguagens de pilha, árvores de análise e índices e como prever quando um determinado tipo de notação levará …

8 formal-languages  reference-request  formal-grammars  programming-languages 

Eu estava lendo o artigo Conceitos Fundamentais em Linguagens de Programação, de C. Strachey outro dia, onde li algo que era bastante estranho para mim. Citando diretamente (com a parte estranha destacada por mim): Confrontados com a situação, uma vez que existe hoje em dia, onde existe um método geralmente …

8 formal-grammars  programming-languages  syntax 

L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | o comprimento de é ímpar 1 está no meio dewww∧∧ \wedge w}w}w\} Portanto, o alfabeto é . Meu problema é que não consigo acompanhar a igualdade de caracteres antes e depois de . Um DFA limitado para o comprimento inferior a 6:{0,1}∗{0,1}∗\{0,1\}^*111 Como posso …

8 formal-languages  finite-automata  formal-grammars 

se eu tiver uma gramática com uma produção que contenha recursão esquerda e fatoração esquerda como F→ FB a ∣ c D S∣ cF→FBuma∣cDS∣c\qquad \displaystyle F \to FBa \mid cDS \mid c qual deles tem prioridade, recursão esquerda ou fatoração esquerda?

8 formal-languages  formal-grammars  parsers  left-recursion 

A análise de gramáticas de expressão (PEGs) é inequívoca e possui uma sintaxe superficialmente semelhante ao BNF , mas inclui três diferenças importantes: O operador de escolha ordenada e1 / e2 / e3. O e predicado &. O operador não !. Eu tenho algumas perguntas: Os idiomas reconhecidos pelos PEGs …

7 context-free  formal-grammars  normal-forms 

Existem exemplos de linguagens de computador do mundo real que não são deterministas? Por linguagens de computador eu incluo linguagens de programação, linguagens de marcação, linguagens de consulta, linguagem de modelagem, linguagens de transformação, etc. Por não determinístico, quero dizer que eles não podem ser analisados ​​com gramáticas determinísticas.

7 formal-grammars  programming-languages  nondeterminism 

Alguém pediu exemplos de linguagens sem contexto com complementos sem contexto . A primeira resposta diz: O idioma eu1 1= { w w ∣ w ∈ { a , b}∗}eu1 1={WW∣W∈{uma,b}∗}L_1= \{ww \mid w \in \{a,b\}^*\}não é livre de contexto (como pode ser mostrado usando o lema de bombeamento; veja …

7 formal-languages  context-free  formal-grammars 

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 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 

Problema (tl; dr) Dada uma gramática livre de contexto, , encontre um conjunto de strings que conduzam a toda produção que ela possui pelo menos uma vez.GGGGGG Como e com que rapidez isso pode ser feito? fundo Estou trabalhando em um compilador cujo analisador é implementado com uma ferramenta semelhante …

7 complexity-theory  context-free  formal-grammars 

Eu não sei muito sobre yacc, bison, flex ou lex e, por favor, me corrija se eu estiver errado, mas uma linguagem de programação também é uma máquina de Turing e uma máquina de Turing é definida como a tupla ( Q , Γ , b , Σ , δ,q0 …

7 turing-machines  formal-grammars  programming-languages  computation-models 

Alguém pode ajudar com isso: L ={umaEubj∣ i , j ≥ 0 e i ≠ 2 j }L={aibj∣i,j≥0 and i≠2j}L=\{a^ib^j \mid i,j \ge 0 \text{ and } i \ne 2j\} Estou tentando escrever uma gramática para esse idioma? Eu não sei como fazer isso. Eu tentei isso: S→ a a …

7 formal-languages  context-free  formal-grammars 

Alguém sabe se existe um algoritmo para escrever diretamente a gramática livre de contexto que gera uma determinada expressão regular?

7 formal-grammars  regular-expressions  context-free