[프로그래밍 언어론] 2.프로그래밍 언어 의미론
용어lexeme(어휘소): 문장에서 가장 작은 단위의 의미구조Token: lexeme의 종류언어의 일반적인 정의Recognizers입력 문자열을 읽고 언어의 어느 부분에 속하는지 확인컴파일러의 syntax analysisGenerators언어의 문장을 생성함Generator와 비교함으로써 특정 문장의 구문법이 맞는지 확인할 수 있음Context-Free Grammars (CFG)Terminal 심볼 집합: T작성법이 문법 규칙에 의해 정해져 있지 않음, 구문적 변수 역할, 왼쪽에 위치 가능Nonterminal 심볼 집합: N작성법이 문법 규칙에 의해 정해져 있음, 오른쪽에만 존재시작 심볼: S(N에 속함)CFG의 유도입력된 문장이 문법에 맞는지 검사하는것을 유도라고 한다.유도가 가능하다면 문법에 맞는 스..
2024.05.04