1983年 A note on omega-regular languages(共箸) Theoretical Computer Science 開始ページ 23 終了ページ エクスポート BibTeX RIS