유한 오토마타
상태와 전이 규칙을 통해 입력 문자열이 특정 패턴(정규식 등)을 따르는지 판별하는 수학적 모델이다. Outlines는 이를 활용해 다음에 올 수 있는 유효한 토큰 집합을 계산한다.