«parsers» 태그된 질문

주어진 문자열이 고정 된 형식 언어에 속하는지 여부를 결정하는 알고리즘에 대한 질문입니다.

1
Earley Parser를 DFA 용 Levenshtein Automata Algo와 유사한 퍼지 파서로 만들 수 있습니까?
입력 단어의 DFA 및 런타임 구성 Levenshtein Automata를 사용하여 퍼지 파싱 (일부 편집 거리에 오타가있는 문자열도 허용)을 수행하는 방법이 있습니다. Earley 파서로 비슷한 것을 할 수 있습니까? 이 질문에 대답하는 것은 물론 알고리즘을 이해하기가 어렵습니다.

2
언어에 대한 LR (1) 오토 마톤이 해당 LR (0) 오토 마톤보다 얼마나 클 수 있습니까?
LR (0) 파서에서 각 상태는 위치로 주석이 달린 프로덕션 인 LR (0) 항목의 모음으로 구성됩니다. LR (1) 파서에서 각 상태는 LR (1) 항목의 모음으로 구성되며, 이는 위치 및 미리보기 문자로 주석이 달린 프로덕션입니다. LR (1) 오토 마톤의 상태에서 각 LR (1) 항목에서 미리보기 토큰을 삭제하여 구성된 구성 세트는 LR (0) …

3
문법 대한 역 추적 기능이있는 순환 재귀 파서
누군가가 와 (순서대로) 를 시도하는 역 추적 기능이있는 재귀 적 하강 파서가 문법 의해 형성된 언어를 인식하지 못하는 이유를 누군가에게 ?S → a a S → a S a | 에스→ SㅏS→aSaS \rightarrow aSa에스→S→aaS \rightarrow aa에스→ S| S→aSa | aaS \rightarrow aSa\ |\ aa 언어의 단어 만 구문 분석하는 것으로 …

2
"가장 가까운 일치"이외의 "dangling else"문제에 대한 다른 해결책이 있습니까?
다음 문맥 자유 문법 선물은 "다른 매달려"유형의 모호성 (상상 의미 와 의미 와 명령 또는 블록의 다른 종류의 약자) : 예를 들어, 는 또는 로 구문 분석 될 수 있습니다 이 문법에서 가장 단순하고 가장 짧은 모호한 단어입니다).aaaif expr thenbbbelsecccS→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ \end{aligned} aacbcaacbcaacbc(a(acbc))(a(acbc))(a(acbc))(a(ac)bc)(a(ac)bc)(a(ac)bc) …

1
Earley 벡터에서 구문 트리의 포리스트를 어떻게 재구성합니까?
Earley 벡터를 인식기로 사용하는 것은 매우 간단합니다. 스트링의 끝에 도달하면 위치 0에서 시작된 완료된 축산 생산을 확인하기 만하면됩니다. 하나 이상이 있으면 스트링이 승인됩니다. Earley 벡터를 사용하여 구문 분석 트리를 재구성하는 것은 덜 명확합니다. 실제로 알고리즘 절차가 어떻게 작동하는지 알 수 없으며, 내가 찾은 유일한 참조는 모호하거나 슈퍼 테크니컬 한 것입니다. …

2
괄호 매칭을위한 2 상태 튜링 머신
대학에서 우리는 일반적인 계산 이론과 튜링 머신에 대해 더 구체적으로 배우고 있습니다. 큰 이론적 결과 중 하나는 잠재적으로 큰 알파벳 (기호)을 희생시키면서 상태 수를 2로 줄일 수 있다는 것입니다. 다른 Turing Machines의 예를 찾고 있었고 일반적인 예는 괄호 매처 / 체커입니다. 기본적으로 괄호 문자열 (()()()))()()()이 균형을 이루는 지 확인합니다 ( …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.