1277.139 수동적 오토마타 학습 (Passive Automata Learning)