context-free-grammar

    2

    8답변

    내가 형태 1^k + 1^j = 1^k+j 이 단순히 각각의 스택에 1을 눌러 푸시 다운 오토마타로 표현하기 아주 쉬운의 추가 분석 할 1의 알파벳을 감안할 때 첫 번째 2 개의 1을 선택하고 마지막 1을 선택합니다. 그러나, 나는 이것을 문맥 자유 문법으로 표현하는 방법을 알아낼 수 없다. 이것은 PDA == CFG 이후 분명히 가능하다.

    1

    2답변

    임의의 IL에서 CFG를 만들고 그 CFG를 다시 IL로 변환하려고합니다. 물론 CFG의 꼭짓점 순서는 원래 일리노이 지침의 순서와 동일하지 않습니다. 괜찮 으면 좋겠지 만 지나치게 복잡합니다. > (이동 C가) - -> (창) 이것은 물론 간단한 예이지만 아웃으로 변환 할 때의 문제점을 나타내는 (B 점프) Jump 'B' 'C': Return 'B'

    0

    2답변

    Programming Languages ​​클래스에서 나에게 혼란스러운 질문이 있습니다. = {A, B IJ에게 다음 언어를 L을 생성하기 위해 C K를 컨텍스트 - 프리 그래머를 보내기 | 0 < = i < = j < = i + k} 이 표기법에 익숙하지 않습니다. 나는 그것에 대해 책이나 내 노트에 아무것도 찾을 것, 그리고 나는 대답에 대한 구글을 쿼

    0

    1답변

    컴파일러 클래스에서 우리는 C의 단순화 된 버전 인 구성된 언어에 대한 파서를 만들었습니다. 모든 파서는 입력 및 종료를 기반으로하는 기호 테이블을 만듭니다 구문이 올바르지 않으면 오류 메시지가 표시됩니다. 이제이 언어로 작성된 입력 파일을 가져 와서 mips 코드 (실제로 Linux 용 mips 인 스핌 코드)로 변환해야합니다. 왜 심볼 테이블이 필요합니

    2

    3답변

    다음과 같이 정의 된 문법이 있습니다. A -> aA*b | empty_string A은 정규식입니까? 나는 BNF 문법을 어떻게 해석하는지 혼란 스럽다.

    4

    3답변

    저는 현재 LL (1) 형식으로 논쟁 할 수 있기를 희망하는 BNF 문법을 사용하고 있습니다. 그러나, 나는 방금 변경을 끝내고 오늘 3 번째로 손으로 문법에 대한 새로운 FIRST와 FOLLOW 세트를 계산했고, 나는 그것에 지쳤다. 더 좋은 방법이 있어야합니다! 누구나 문법이 주어지면 모든 비 단말기에 대해 첫 번째 및 팔로우 세트를 자동으로 계산하는

    3

    1답변

    저는 ANTLR을 매우 신축 적이기 때문에 이것이 간단한 질문 일 수 있습니다. 나는 숫자와 식별자 산술 표현식을 포함하도록되어 간단한 문법 정의 문법 보이는 다음과 같이 (문자로 시작하고 하나 개 이상의 문자 또는 숫자를 계속 문자열을.) : grammar while; @lexer::header { package ConFreeG; } @

    0

    1답변

    ANTLRv3에서 생성 된 Parser 및 Lexer 클래스에 대해 사용자 정의 클래스 이름 (문법 이름과 무관 함을 의미)을 지정하는 방법이 있습니까? 그래서 grammar MDD; //other stufff 의 경우 자동으로이 상자 MDDParser 및 MDDLexer,하지만 난 MDDBaseParser 및 MDDLexer로를하고 싶은 것입니다.

    0

    3답변

    계산 이론에 대한 나의 코스에 대한 내 노트를 검토 중이며 특정 증명을 완료하는 방법을 이해하는 데 문제가 있습니다. 질문은 다음과 같습니다. A = {0^n 1^m 0^n | n>=1, m>=1} Prove that A is not regular. 펌핑 보조 정리가이 용도로 사용되어야한다는 것은 분명합니다. 그래서, 우리는 가지고있다 | > = 1 |

    5

    2답변

    저는 shift-reduce 구문 분석에 대해 배우려고합니다. 우리가 ANSI C Yacc grammar에서 영감을 작업의 순서를 시행 재귀 규칙을 사용하여 다음과 같은 문법을 가지고 가정 : S: A; P : NUMBER | '(' S ')' ; M : P | M '*' P | M '/' P