«fl.formal-languages» 태그된 질문

공식 언어, 문법, 오토마타 이론

4
정규 문법에서 허용되는 단어 개수
정규 언어 (NFA, DFA, 문법 또는 정규식)가 주어지면 주어진 언어에서 허용되는 단어 수를 어떻게 계산할 수 있습니까? "정확히 n 개의 문자가있는"및 "최대 n 개의 문자가있는"모두 관심 대상입니다. Margareta Ackerman 은 NFA가 받아들이는 단어를 열거하는 관련 주제에 관한 두 가지 논문을 가지고 있지만 효율적으로 계산할 수는 없었습니다. 일반 언어의 제한된 특성으로 …

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 …

5
Earley 파서에서 구문 분석 포리스트를 복구 하시겠습니까?
나는 최근에 Earley 파서를 읽고 있었고 지금까지 본 것 중 가장 우아한 알고리즘 중 하나라고 생각합니다. 그러나, 전통적인 의미에서 알고리즘은입니다 인식기 가 아닌 파서, 이 문자열이 특정 CFG 일치하는지 여부를 감지하지만 그것을 구문 분석 트리를 생성 할 수 있다는 것을 의미한다. 내 질문은 구문 분석 트리 가 아니라 주어진 입력 …



1
다항식 크기의 DFA에서 인식되는 언어
고정 된 유한 알파벳 , 공식 언어 이상 입니다 일반 이있는 경우 결정적 유한 자동 장치 이상 (DFA) \ 시그마 정확히 받아 L가 .L ΣΣΣ\Sigma엘LLΣΣ\SigmaLΣΣ\Sigma엘LL 나는 단어 길이에 따라 다항식으로 만 자라는 크기의 오토마타 패밀리에 의해 인식 될 수 있다는 의미에서 "거의"규칙적인 언어에 관심이있다. 공식적으로, 공식 언어 은 모든 단어 …

6
복잡도 하한을 결정하는 고급 기술
여러분 중 일부는 이 질문을 따르고 있었을 것인데, 이는 연구 수준이 아니기 때문에 폐쇄되었습니다. 그래서 나는 연구 수준에있는 질문의 일부를 추출하고 있습니다. 정렬 감소 또는 EXPTIME 완료 문제와 같은 "간단한"기술 외에도 문제의 시간 복잡성에 대한 하한을 증명하기 위해 어떤 기술이 사용 되었습니까? 특히: 지난 10 년간 개발 된 "최첨단"기술은 무엇입니까? …

1
모든 모호하지 않은 문법을 선형 시간으로 구문 분석 할 수 있습니까?
비정규 LR 파싱으로 땜질 할 때 시간 에 모호하지 않은 문법을 정확하게 파싱 할 수 있는 파싱 방법 (무한한 크기의 테이블을 사용하여 다소 실용적이지 않음)을 생각해 보았습니다. 보다 나은:O ( n2)영형(엔2)O(n^2) 모든 모호하지 않은 문법을 선형 시간으로 구문 분석 할 수 있습니까? 나는 이것이 사실이라면 어딘가를 읽었을 것이라고 확신하지만 인터넷을 …

2
프로토콜 파티션 번호 및 결정적인 통신 복잡성
게다가 (결정적) 통신 복잡도 의 관계에서의 R , 필요한 통신의 양에 대한 또 다른 측정은 염기성 인 프로토콜 파티션 번호 P는 P ( R ) . 이 두 측정 값 사이의 관계는 상수 요소까지 알려져 있습니다. Kushilevitz와 Nisan의 논문 (1997)은c c ( R )기음기음(아르 자형)cc(R)아르 자형아르 자형R p p ( …

3
카테고리 이론적 관점에서 일반 언어
알파벳 이상의 일반 언어 는 자연스럽게 포세 및 실제로 격자로 생각할 수 있습니다. 또한 빈 언어 ϵ 와의 연결 은 조인에 대해 분산 적 인이 범주에서 엄격한 일회성 구조를 정의합니다 (만약 확실하지 않습니다). 이것이 정규 언어의 이론이나 실천에 유용한 구성입니까? Kleene 스타를 하나로 정의 할 수있는 좋은 부가 기능이 있습니까?ΣΣ\Sigmaϵϵ\epsilon …

4
푸시 다운 오토마타를 사용하여 문맥이없는 언어에 대한 펌핑 보조 성 증명
일반 언어에 대한 펌핑 보조 정리 , 공부 언어를 인식하는 유한 상태 자동 장치를 고려 상태의 수보다 길이 더 큰 문자열을 따기, 그리고 비둘기 집 원리를 적용하여 입증 할 수있다. 그러나 문맥이없는 언어 (약간 일반적인 Ogden의 정리)에 대한 펌핑 보조 는 연구 된 언어의 문맥이없는 문법을 고려하고 충분히 긴 문자열을 …



5
특수 언어 클래스 : "원형"언어. 알고 있습니까?
유한 알파벳 시그마에 대해 다음과 같은 "원형"언어 클래스를 정의하십시오. 실제로, 그 이름은 DNA 컴퓨팅 분야에서 사용되는 것으로 보이는 다른 것을 나타내는 것으로 이미 존재합니다. AFAICT, 그것은 다른 종류의 언어입니다. 언어 L은 Σ ∗의 모든 단어 www 에 대해 순환 iff입니다 .Σ∗Σ∗\Sigma^* www모든 정수k>0k>0k > 0 에 대해 가 L에 속하는 …

1
명확한 문맥이없는 언어의 동등성을 결정할 수 있습니까?
일반적인 문맥이없는 언어에서는 동등성 문제를 결정할 수없는 것으로 잘 알려져 있습니다. 그러나 내가 알고있는이 사실의 모든 증거는 모호한 컨텍스트 프리 문법을 포함하는 것으로 보입니다. 이러한 이유로, 나는 자신을 명백한 맥락없는 언어로 제한하면서 문제를 결정할 수 없는지 여부를 알고 싶습니다 . 즉, 명확성이 부여 된 선험적 인 무 문법 문법이 두 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.