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

川添 愛

東京大学出版会