February 19, 2026 undefined분 읽기 오토마타와 컴파일러 10 - 의미 분석과 타입 검사 파서가 잡지 못하는 오류를 의미 분석이 어떻게 잡아내는지, 그리고 타입 검사가 프로그램의 안전성을 보장하는 원리