Brzozowski의 정규 표현식을 문법으로 파생시키는 방법의 일반화?

Brzozowski의 미분법 은 정규식에서 결정 론적 오토마타를 대수적으로 만드는 매우 훌륭한 기술입니다. 더 큰 문법 클래스를 처리하기 위해이 기술의 귀여운 일반화를 수행했지만 알고리즘은 이전에 발견 된 것처럼 보일 정도로 간단합니다. 그러나이 기술의 자손에 대한 인터넷 검색은 많이 나타나지 않습니다. 아는 사람 있나요?

reference-request fl.formal-languages parsing

— 닐 크리슈나 스와미
소스

나는 당신이 어떤 문법 클래스를 생각하고 있는지 궁금합니다. 자손에 관해서는, 비결정론 적 오토마타를 대신 생산하는 안티 미 로프 기법은 매우 훌륭하다 : 정규 표현과 유한 오토 마톤 구조의 부분 파생물 , TCS 155 (2), 1996, ( dx.doi.org/10.1016/0304-3975(95 00182-4 ).

— Sylvain

정규 <context-free <context-sensitive <...와 같은 더 복잡한 언어로 일반화를 의미합니까?

— s8soj3o289

나는 주로 VPL 근처에서 CFG의 하위 시스템을 살펴 보았습니다.

— Neel Krishnaswami

... 그러나 파생 상품 세트는 유한하지 않습니다. 실제로 Brzozowski의 방법과 같이 결정론적인 것을 원한다면 아마도 DCFL로 제한되어있을 것입니다 (따라서 VPL에 적합하다고 생각합니다).

— Sylvain

arxiv.org/abs/1604.04695

— Mehrdad

답변:

에서 총 파서 콤비 (2010 ICFP) 그 언어 회원은 잠재적으로 무한 문법의 특정 클래스 decidable입니다 확립 브조 조프 스키 유도체를 사용합니다.

— 닐스 앤더스 다니엘 손
소스

이 백서에 관심이있을 수 있습니다.

Yacc는 Matthew Might와 David Darais, 2010에 의해 죽었다

문맥없는 언어를 파싱하는 두 가지 새로운 접근법을 제시한다. 첫 번째 방법은 Brzozowski의 파생어를 정규식에서 문맥이없는 문법으로 확장 한 것입니다. 두 번째 방법은 파서 결합기에 대한 파생물의 일반화를 기반으로합니다. 이러한 기술의 대가는 임의의 컨텍스트가없는 문법을 게으른 구문 분석 포리스트로 구문 분석 할 수있는 작고 (250 줄 미만의) 구현하기 쉬운 구문 분석 라이브러리입니다. 스칼라와 하스켈에 대한 구현이 제공됩니다. S-Expressions를 사용한 예비 실험은 초당 수백만 개의 토큰을 파싱하여이 기술이 실제로 사용하기에 충분히 효율적임을 시사합니다.

잠재적 인 관심의 대상 :

Yacc is Not Dead , res 명성 의 Russ Cox에 의한이 논문의 검토 .
Yacc가 죽었습니다 : 업데이트 , Matt Might의 답변.
기능성 진주 : Matthew Might, David Darais 및 Daniel Spiewak의 파생물 구문 분석 – 도쿄의 ICFP 2011에서 발표 된 "Yacc is Dead"논문의 업데이트 된 버전.

— 미하일 글루 센코프
소스

매우 재미있는 종이 제목! :-)

— Dai Le

80 년대 중반에 재귀 적 상승 파서와 문법 요소를 연구하면서 문법의 부분 파생물을 정의하는 작업부터 시작했습니다.

거기에 좋은 이론이 많이 있습니다.

구체적인 질문이 있습니까?

— GHR
소스

지금은 관련 작업을 위해 낚시를하고 있습니다. 나는 주로 재귀 하강 파서를 생각했기 때문에 특히 흥미로운 제안처럼 LR 스타일 파싱에 대한 응용 프로그램을 찾을 것입니다. 당신의 논문을 알려 주시겠습니까?

— Neel Krishnaswami