1277.55 가중 유한 오토마타 (WFA)의 정의