실습 중심 자동화 이론: FSM 라이브러리로 배우는 형식 언어

초록

본 논문은 형식 언어·자동이론 교육에 즉각적인 실험 환경을 제공하는 Racket 기반 FSM 라이브러리를 소개한다. 학생들은 상태 기계·문법·정규식 등을 코드로 구현하고 무작위 테스트와 시각적 피드백을 통해 설계의 올바름을 검증할 수 있다. 이를 통해 전통적인 펜‑앤‑페이퍼 방식의 추상적 증명에서 벗어나, 프로그래밍 수업과 유사한 실습‑피드백 사이클을 형성한다.

상세 분석

이 논문은 형식 언어 교육의 근본적인 문제점을 ‘즉각적인 피드백 부재’와 ‘구현 경험의 결여’로 규정한다. 전통 교재는 DFA, NFA, PDA, CFG 등 이론을 수학적으로 정의하고 증명하지만, 학생들은 설계한 기계가 실제로 동작하는지를 확인할 수 있는 도구가 부족하다. 저자들은 이러한 격차를 메우기 위해 Racket 언어 위에 FSM이라는 라이브러리를 구현하였다. FSM은 프리미티브 생성자(make‑dfa, make‑ndfa, make‑pda, make‑tm 등)와 변환자(regex→fsa, ndfa→dfa, union‑sm, concat‑sm, complement‑sm 등)로 구성되어, 학생이 이론에서 배운 알고리즘을 그대로 코드화할 수 있게 한다. 또한 관찰자(apply‑sm, show‑transitions‑sm, deriv 등)와 테스터(test‑equiv‑sm, test‑sm, both‑deriv? 등)를 제공해 설계된 기계·문법을 무작위 입력 혹은 지정된 문자열에 대해 자동 검증한다.

핵심적인 기술적 통찰은 다음과 같다. 첫째, 상태 기계와 문법을 데이터 구조로서 동일한 인터페이스에 노출함으로써, 변환 알고리즘(예: 정규식 → DFA, NFA → DFA, DFA → CFG 등)을 함수형 스타일로 구현한다. 이는 학생이 증명 과정에서 제시된 구성적 알고리즘을 직접 실행해볼 수 있게 하여, 증명의 ‘구성적’ 의미를 체감하게 만든다. 둘째, 무작위 테스트와 결과 비교 기능을 통해 ‘정당성 검증’과 ‘정확성 검증’을 구분한다. 즉, 설계가 기대한 언어를 인식하는지(정당성)와 설계 자체에 논리적 오류가 없는지(정확성)를 별도 단계에서 확인한다. 셋째, Racket의 리스트 기반 문법과 함수형 패러다임을 활용해 구현 코드를 간결하게 유지한다. 이는 학생이 함수형 프로그래밍에 익숙하지 않더라도 최소한의 문법만으로 라이브러리를 사용할 수 있게 한다.

교육적 효과 측면에서 저자는 두 차례 사례 연구를 제시한다. 첫 번째는 DFA와 NFA 변환 과제에서, 학생들이 변환 함수를 호출하고 자동 테스트를 수행함으로써 전통적인 손글씨 증명보다 빠르게 피드백을 얻고 오류를 수정했다는 점이다. 두 번째는 CFG와 PDA 설계 과제에서, 학생들이 grammar→sm 변환과 deriv 테스트를 이용해 언어 인식을 검증함으로써 복합적인 구성 증명을 실습 수준으로 끌어올렸다. 이러한 사례는 학생들의 학습 동기 향상과 과제 채점의 자동화 가능성을 동시에 보여준다.

마지막으로, 기존 자동화 도구와의 차별점도 논의한다. 대부분의 교재가 제시하는 소프트웨어는 특정 언어에 종속적이거나 확장성이 낮다. 반면 FSM은 언어 독립적인 인터페이스를 제공하고, 새로운 변환자나 관찰자를 추가하기 쉬운 모듈 구조를 갖는다. 이는 향후 교육 커리큘럼에 맞춰 맞춤형 기능을 삽입하거나, 연구 수준의 실험 도구로 확장하는 데 유리하다.

요약하면, FSM 라이브러리는 형식 언어 교육에 프로그래밍 실습과 같은 즉각적인 실험‑피드백 루프를 도입함으로써, 학생이 이론을 실제 구현으로 연결하고, 오류를 빠르게 탐지·수정할 수 있게 하는 혁신적인 교육 기술이다.