도 1 을 참고 하 면 , L * 알고리즘 은 ( S , E , T ) 로 표현 되 는 관찰 테이블 에 기초 하 여 유한 상태 기계 M ' 를 추론 한다 . 여기 서 S 는 공문자 ε ( Empty String ) 를 포함 하 는 입력 값 의 접두어 ( Prefix ) 를 나타낸다 . 여기 서 S 의 각 값 은 Q 의 상태 를 나타내 며 , 공문자 ε 는 초기 상태 인 q 0 를 의미 한다 ( line 1 ) . 그리고 E 는 각 상태 를 구분 하 기 위한 입력 값 의 접미어 ( Suffix ) 를 나타낸다 ( line 1 ) . S 와 E 를 결합 하 면 입력 값 이 되 며 ( s · e ) , 그 때 의 출력 값 중 에서 E 에 의한 출력 값 의 일부 가 T 로 표시 된다 ( line 4 ) .