1277.76 Büchi 오토마타와 ω-정규 언어