«formal-grammars» 태그된 질문

공식 문법에 대한 질문, 공식 언어의 생성 설명.

2
정규식
Type 3 Grammar를 사용하는 경우 스택에서 작업을 수행하지 않고 푸시 다운 오토 마톤으로 표현할 수 있으므로 컨텍스트없는 언어를 사용하여 정규식을 표현할 수 있습니다. 그러나 구문 분석 테이블을 구성하지 않고 유형 3 문법이 , L L ( 1 ) , S L R ( 1 ) 등인지 알 수 있습니까?LR(1)LR(1)LR(1)LL(1)LL(1)LL(1)SLR(1)SLR(1)SLR(1)
1
일반 언어로 자유로운 컨텍스트 교차
문맥 자유 언어 L과 정규 언어 M의 교차는 항상 문맥 자유라고합니다. 교차 제품 구성 증명을 이해했지만 여전히 컨텍스트가 없지만 규칙이 아닌 이유는 알 수 없습니다. 이러한 교차로에서 생성 된 언어에는 PDA 와 DFA에서 모두 허용되는 문자열이 있습니다 . DFA에서 허용되므로 일반 언어가 아니어야합니까? 또한 교차점이 규칙적인 경우 모든 일반 언어에도 …
2
문맥에 구애받지 않는 언어
일상의 문제를 설명하기 위해 만들어진 대부분의 언어는 상황에 따라 달라질 수 있습니다. 반면에, 재귀 적이 지 않거나 재귀 적으로 열거 할 수없는 일부 언어를 찾는 것은 가능하고 어렵지 않습니다. 이 두 유형 사이에는 재귀 비 문맥 언어가 있습니다. Wikipedia는 여기에 하나의 예를 제공 합니다 . 문맥에 맞지 않는 재귀 언어의 …
2
{ww | ...} 문맥이 없습니까?
언어 을 . 즉, 은 일부 단어를 두 번 반복하여 표현할 수없는 단어를 포함합니다. 컨텍스트 가 없는가 ?L = { a , b } ∗ − { w w ∣ w ∈ { a , b } ∗ } L LLLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLL …
2
IELR (1) 파서 란 무엇입니까?
나는 들소의 사용법을 스스로에게 가르치려고 노력한다. bison (1) 맨 페이지는 bison에 대해 말합니다. LALR (1), IELR (1) 또는 표준 LR (1) 파서 테이블을 사용하여 결정적 LR 또는 GLR (Generalized LR) 파서를 생성하십시오. IELR 파서 란 무엇입니까? 월드 와이드 웹에서 찾은 모든 관련 기사는 유료입니다.
1
는 "왼쪽에서 오른쪽으로 스캔, 가장 오른쪽 파생"이라는 의미를 언제 얻었 습니까?
Wikipedia 기사 에 따르면 L in 는 "왼쪽에서 오른쪽으로 스캔"을 의미하고 "R"은 "가장 오른쪽 파생"을 의미합니다. 그러나 L R ( k ) 문법 에 대한 Knuth의 원본 논문에서 그는 L R ( k ) (610 페이지의 L R ( k ) )를 "왼쪽에서 오른쪽으로 바운드 k 로 번역 할 수있는"언어로 …
2
문맥없는 문법에 대한 Before와 After는 항상 문맥이 없는가?
GGG 를 문맥없는 문법으로 하자 . 단자의 비끝의 문자열 GGG 것으로 알려져 sentential 형태 의 GGG 는의 제작에 적용하여 얻을 수있는 경우 GGG 의 시작 심볼 0 번 이상 SSS . SF(G)SF⁡(G)\operatorname{SF}(G) 일련의 형태로 보자 GGG. 하자 α∈SF(G)α∈SF⁡(G)\alpha \in \operatorname{SF}(G) 및하자 ββ\beta 의 문자열이 될 αα\alpha - 우리가 전화 조각 …
3
문맥없는 문법에 매개 변수를 추가하면 무엇을 얻을 수 있습니까?
나는 indendation에 민감한 언어에 대한 문법을 ​​생각하고 있었고 CF 문법이 매개 변수와 결합되면 트릭을 수행하는 것처럼 보입니다. 예를 들어, ANTLR과 유사한 형식의 단순화 된 Python 문법에 대해이 단편을 고려하십시오. // on top-level the statements have empty indent program : statement('')+ ; // let's consider only one compound statement and one …
2
컴퓨터 과학의 맥락에서“생산”이라는 단어는 어떻게“규칙”이라는 단어와 동의어가 되었습니까?
나는 공식 언어와 생산 기반 시스템 (규칙 기반 시스템)을 공부하고 있는데 왜이 두 단어 "생산"과 "규칙"이 컴퓨터 과학의 많은 맥락에서 같은 의미를 갖는지에 대해 약간 혼란스러워합니다. 영어로 그들은 같은 것을 의미하지 않는 것 같습니다. 나는 영어를 모국어로 사용하는 사람은 아니지만, 규칙은 사람들에 대해 이야기 할 때하지 말아야 할 일이나하지 말아야 …
5
비 모호성은 결정론과 어떻게 다릅니 까?
"결정 론적 맥락없는 문법"과 같은 표현에서 "결정 론적"의 의미를 이해하려고합니다. (이 분야에는 더 결정적인 "사물"이 있습니다). 가장 정교한 설명보다 더 예를 들어 주셔서 감사합니다! 가능하다면. 저의 혼란의 주요 원인은 문법의이 속성이 (비) 모호성과 어떻게 다른지 알 수 없다는 것입니다. 내가 의미하는 바를 가장 가깝게 찾은 것은 D. Knuth의 왼쪽에서 오른쪽으로의 …
1
오토마타에서 정규 표현식과 문법의 차이점
나는 오토마타를 처음 접했고 어제 정규 표현식에 대해 간략하게 소개 받았습니다. 정규식을 정의하는 다양한 규칙을 읽었습니다. 그러나 나는 정규 표현과 언어의 문법을 구별 할 수 없습니다 (정규 표현에 대한 문법을 ​​배우지 못했습니다). 문법은 언어로 유효한 문자열을 생성하는 데 도움이된다는 것을 이해하지만 이것이 정규 표현식 상태를 정의하는 규칙입니다. 차이점은 어디에 있습니까? …
3
CFG에 대한 Chomsky 일반 양식과 같은 일반 양식의 중요성
문맥이없는 문법은 문맥이없는 언어를 표현하는 데 사용될 수 있다는 것을 이해합니다. 또한 Chomsky 및 Greibach 일반 형식 과 같은 일반 형식이 있습니다. 나는 그 필요성을 이해할 수 없었다. 언어 이론에서 왜 중요한가? 내가 언급 한 모든 교과서는 이러한 일반적인 형태에 대해서는 말하지만 그 중요성에 대해서는 아무 것도 말하지 않았습니다.
4
누군가가 상황에 맞는 문법의 단순하지만 장난감이 아닌 예를 줄 수 있습니까?
상황에 맞는 문법을 이해하려고합니다. 언어가 왜 그런지 이해합니다 { w w ∣ w ∈ A※}{ww∣w∈A∗}\{ww \mid w \in A^*\} {엔비엔씨엔∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} 문맥에 자유롭지는 않지만 비 유형 람다 미적분과 유사한 언어가 문맥에 민감한 지 알고 싶습니다. 나는 단순하지만 장난감이 아닌 예제 (위의 장난감 예제를 …
2
상황에 맞는 모든 언어를 결정할 수 있습니까?
문맥 인식 언어에 대한 Wikipedia 정의를 살펴 보았는데 이것을 발견했습니다. 각 언어 범주는 바로 위에있는 범주의 적절한 하위 집합입니다. 각 범주의 모든 자동 및 문법은 바로 위의 범주에서 동등한 자동 또는 문법을 갖습니다. 선형 경계 오토 마톤이 기사의 주문에서 결정자 바로 아래에 있음을 알 수 있습니다. 이 경우 LBA의 모든 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.