컴퓨터 과학의 형식 언어 이론에서 프로그래밍 언어 등의 구문 구조를 정의하는 규칙 체계. [참고 자료 - 오토마타 이론 관련](https://blog.naver.com/bestowing/221753049407)