>>513
人間と入れ替わっても区別できないチェスプログラムは実在する。
この場合、チェスの手をアルファベット集合Σとし、チェスの駒の動きを構文Gとする
チェス言語による対話をおこなっていると見做すことができる。

さあ、ここまではＯＫか？