정규 표현식(Regular Expression)과 유한오토마타(Finite Automata)

정규 표현식은 문자열의 패턴 집합을 형식 언어 차원에서 기술하는 표기 체계이며, 유한 오토마타는 동일 패턴을 유한 개수의 상태와 입력 기호 전이로 인식하는 계산 모델이다. 두 표현은 정규 언어(Regular Language) 라는 동일 언어 등급을 대응시키는 등가 쌍으로, 컴파일러 lexer·검색 엔진·입력 검증 등 패턴 매칭의 이론적 기반이다.