유한 오토마타 이론과 응용 - 유한 상태, 오토마타, 상태 전이, 언어, 정규 표현식, 결정론, 비결정론, 그래프, 알고리즘, 컴파일러, 인식, 패턴 매칭, 상태 다이어그램, 형태 언어, 계산 이론, 정규 언어, 비트, 동작, 입