DevLog

주요용어 형식언어(formal language) : 어떤 알파벳(alphabet)에서 얻은 기호(symbol)들로 구성되는 문자열(string)의 집합 context-free 문법 : A → γ (단, A는 논터미널 기호이고, γ는 V*에 속하는 문자열이다.) 촘스키 계층구조 : 생성규칙의 형태에 가해지는 제한에 따라 미국의 영문학자 촘스키가 4종류로 나눈 형식문법 context-sensitive 문법 : γ → β (단, |γ|≤|β| γ∈V+, β∈V*) 생성규칙에 |γ|≤|β|의 제한을 가하는 것으로 비위축형(noncontracting) 문법에 속함 공문자열 : 문자열의 길이가 0인 것, ε 혹은 λ로 표시 정규문법 : A → tB A → t 또는 A → Bt A → t (단, t ∈ A, B ∈ ..