2020-03-28から1日間の記事一覧

白と黒のとびらオートマトンと形式言語をめぐる冒険

Book

クイックソートはどんなアルゴリズムかと問われれば(割と明確に)答えられるような気がしますが、オートマトンって何？形式言語って何？と質問されても明確に答えられる自信はありません。本書を読み終えた今でも、自信を持って理解できたとは言えないのです…