1277.7 비결정론적 유한 오토마타 (NFA)의 정의