1277.53 확률적 유한 오토마타 (PFA)의 정의