有限オートマトン プッシュダウンオートマトン 有限オートマトンにスタックを追加 線形拘束オートマトン 有限オートマトンに有限の長さのテープを追加 チューリングマシン テープの長さを無限に これがそれぞれ以下の形式言語のクラス/文法に対応する 有限オ…

ガレット君はついに塔の問いかけに答えます 「〇と●からなる全ての文字列を含む集合から、『塔の動作を記述した文字列のうち、それ自体が、自身が表す動作によって表現される言語の"文"であるような文字列』を取り除いた文字列」 塔の動作を表す文字列ではな…

クージュとレザンの兄弟が作った「万能機械」でも決っして表現できない〇と●からなる言語の特徴を述べよ、という問いかけに答えないといけなくなったガレットは苦労しながらも、答をみつけるようです 「〇と●からなる言語」とは「〇と●の文字列の集合」であ…

14章は、ひとつの装置で全ての古代ルル語、古代クフ語を表現できる「万能機械」についての話と、師匠の師匠のところに赴くストーリ上の展開で終わりました。 万能機械 全ての古代ルル語、古代クフ語を表現できるただ一つの装置 ヴェインさんは第一古代セティ…

ガレットが実際に塔に入り「〇〇●●〇〇」を入力してみます 塔の部屋は詩に書かれているとおりに扉の色を変化させて上下する 「1月」とか「2月」は部屋の位置ではなくて、部屋の「状態」を表している 塔の扉はその階に部屋があるときだけ詩に記述されていると…