タグ付けされた質問 「left-recursion」

この質問は、コンピューターサイエンススタック交換で回答できるため、理論的コンピューターサイエンススタック交換から移行されました。 6年前に移行され ました。 コンパイラの設計で、なぜ文法で再帰を残すべきなのですか？私はそれが無限再帰を引き起こす可能性があるからだと読んでいますが、正しい再帰文法にも当てはまりませんか？

20 formal-grammars  compilers  left-recursion 

Theodore Norvell（1999）による再帰的降下による式の解析の記事で、著者は算術式の次の文法から始めます。 E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v これはあいまいで左再帰的であるため、かなり悪いです。したがって、彼は左の再帰をそこから削除することから始め、その結果は次のようになります。 E --> P {B P} P --> v | "(" E ")" | U P B --> …

9 formal-languages  context-free  formal-grammars  left-recursion 

この文法は再帰的に残されています： Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? したがって、理論的には、再帰的降下は機能しません。ただし、各左再帰ルールが特定の優先レベルに対応し、単一のトークンの先読みで正しい生成を選択するのに十分であるという文法のプロパティを利用することで、左再帰ルールをwhileループで個別に解析できます。 たとえば、AdditionExpression非終端を解析するには、次の疑似コードで十分です。 function parse_addition_expression() { num = parse_multiplication_expression() while (has_token()) { get_token() if (current_token …

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

左再帰と左分解の両方を含むプロダクションを持つ文法がある場合 F→ FB a ∣ c D S∣ cF→FBa|cDS|c\qquad \displaystyle F \to FBa \mid cDS \mid c 左再帰または左因数分解のどちらが優先されますか？

8 formal-languages  formal-grammars  parsers  left-recursion