1277.77 Rabin 오토마타와 Streett 오토마타