«context-free» 태그된 질문

1
비이성적 오토마타 및 언어의 합리적 계층 구조 인 Eilenberg의 현재 위치는 어디입니까?
그의 영향력있는 저서 인 Automata, Languages ​​and Machines (볼륨 A, B)의 서문에서 Samuel Eilenberg는 볼륨 C와 D가 "비이성적 현상의 계층 구조 (합리적 계층 구조라고 함)를 다루는 것을 합리적으로 약속했습니다. 합리적 세트는이 계층 구조의 맨 아래에있다 위로 올라가면 '대수 현상'이 생겨나 고, 이는 "Chomsky의 문맥이없는 문법과 문맥이없는 언어 및 여러 관련 …
3
컨텍스트 프리 언어를 캡처하는 정규식의 확장이 있습니까?
문맥없는 문법 (CFG)과 관련된 많은 논문에서, 그러한 문법의 예는 종종 그들이 생성하는 언어의 쉬운 특성화를 인정합니다. 예를 들면 다음과 같습니다. S→aaSbS→aaSbS \to a a S b S→S→S \to 생성 {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} , S→aSbS→aSbS \to a S b S→aaSbS→aaSbS \to a a S b S→S→S \to …
10
프로그래밍 가능한 언어의 경우 컨텍스트 프리 문법을 기반으로해야합니다.
실제로, 시스템 레벨 명령어로 컴파일 / 변환 될 수있는 언어의 경우 문맥이없는 문법이어야합니까? 예 : 모든 프로그래밍 / 스크립팅 언어는 무료 문법입니까? Java는 CFG를 기반으로하지만 실제로 모든 프로그래밍 언어가 CFG를 기반으로하는 경우입니까? 필수 사항은 아니지만 이해에는 차이가 있습니다. 질문에 대한 문맥 : 문법 규칙을 제공하는 Java 언어 사양을보고있었습니다 . 이것은 …
1
모든 모호하지 않은 문법을 선형 시간으로 구문 분석 할 수 있습니까?
비정규 LR 파싱으로 땜질 할 때 시간 에 모호하지 않은 문법을 정확하게 파싱 할 수 있는 파싱 방법 (무한한 크기의 테이블을 사용하여 다소 실용적이지 않음)을 생각해 보았습니다. 보다 나은:O ( n2)영형(엔2)O(n^2) 모든 모호하지 않은 문법을 선형 시간으로 구문 분석 할 수 있습니까? 나는 이것이 사실이라면 어딘가를 읽었을 것이라고 확신하지만 인터넷을 …
2
문맥에 맞지 않다고 증명할 수없는 언어
"컨텍스트가없는"언어를 찾고 있지만 알려진 표준 기술을 사용하여 언어를 증명할 수는 없습니다. 최근 회의에서 주제에 대한 최근 조사 또는 공개 문제 섹션이 있습니까? 아마도 CF로 알려지지 않은 언어는 많지 않을 것입니다. 따라서 하나를 아는 경우 답변으로 게시 할 수도 있습니다. 내가 찾은 예는 다음과 같습니다. 기본 단어 의 잘 알려진 언어 …
1
명확한 문맥이없는 언어의 동등성을 결정할 수 있습니까?
일반적인 문맥이없는 언어에서는 동등성 문제를 결정할 수없는 것으로 잘 알려져 있습니다. 그러나 내가 알고있는이 사실의 모든 증거는 모호한 컨텍스트 프리 문법을 포함하는 것으로 보입니다. 이러한 이유로, 나는 자신을 명백한 맥락없는 언어로 제한하면서 문제를 결정할 수 없는지 여부를 알고 싶습니다 . 즉, 명확성이 부여 된 선험적 인 무 문법 문법이 두 …
3
공간을 사용한 CFG 구문 분석
컨텍스트없는 문법을 시간으로 구문 분석 할 수있는 다양한 알고리즘이 있습니다 . 행렬 곱셈을 사용하면 그보다 빠른 속도로 갈 수 있습니다.O ( n삼)영형(엔삼)O(n^3) 그러나 내가 알고있는 임의의 CFG를 구문 분석하기위한 모든 알고리즘은 최악의 경우 공간 사용이 (그러나 매트릭스 곱셈 알고리즘의 공간 사용이 무엇인지는 모릅니다). 이 공간 사용을 개선하는 알고리즘이 있는지 궁금합니다 …
2
푸시 다운 오토마타 및 CFL에 대한 "대수적"접근 방식에 대한 참조 자료?
에서 Sakarovitch의 책 오토마타 이론, 섹션에 대한 소개로 작성 자유 그룹의 유리수 재료 내부에 발표 "문맥 자유 언어의 진정한 수학적 이론의 기초"를 낳는 것이다. 그럼에도 불구하고 문맥에 맞지 않는 언어와 푸시 다운 오토마타는이 책의 범위를 벗어나므로 명시 적으로 설명되지 않습니다. 난 공짜로 그룹의 일부 연결 인식 (특히 Sakarovitch가 부르는입니다 involutive …
1
특성화
오토마타 과정에서 및 | Σ | ≥ 2 즉 S ( L ) = { w w : w는 ∈ L } 문맥 자유 언어 아니다.L=Σ⋆L=Σ⋆L = \Sigma^\star|Σ|≥2|Σ|≥2|\Sigma| \ge 2S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} 임의의 유한 , S ( L ) 가 유한 (따라서 CFL) 인 것도 사실이다 …
1
없이 DPDAs 있습니까
결정 론적 푸시 다운 오토마타에 대한 공식적인 설명에서 이동 을 허용하는데 , 여기서 기계는 입력에서 심볼을 읽지 않고도 스택에 심볼을 팝하거나 푸시 할 수 있습니다. 이러한 ϵ 이동이 허용되지 않고 각 기호를 읽은 후 스택을 한 번만 수정할 수있는 경우 결과 자동 마타는 DPDA의 전력과 동일합니까?ϵϵ\epsilonϵϵ\epsilon 내가의 파워 셋 사용에 …
2
LR 구문 분석을 사용한 순열 구
순열 구문은 표준 (E) BNF 컨텍스트 프리 문법 정의의 확장입니다. 순열 구문 에는 n 개의 프로덕션 (또는 이와 동일하게 비 터미널) A 1 - A n이 포함 됩니다. 순열 구의 위치에서, 우리는이 작품들 모두를 정확히 한 번보고 싶어하지만,이 비 터미널의 순서에는 관심이 없습니다.{ A1, … , A엔}{ㅏ1,…,ㅏ엔}\{ A_1, \dots, A_n …
1
스택으로 단어를 푸시 할 수있는 눈에 띄게 푸시 다운 오토마타 변형이 있습니까?
나는 눈에 띄게 푸시 다운 오토마타를 다루는 논문이나 연구가 있지만 단일 문자가 아닌 단어를 스택에 푸시 할 수 있는지 궁금합니다. 대안 적으로, 심볼이 전환에 푸시 될 수있게하는 구성 은 동일한 목표를 달성 할 수있다.ϵϵ\epsilon 분명히 그러한 변형이 형성 될 수는 있지만 VPA를 흥미롭게 만드는 폐쇄 및 결정 가능성 속성을 망칠 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.