正規表現 1番と2番は簡略化されてますがどちらも他と同様language、つまり集合であることに注意します。（正確には、例えば正規表現に対して言語とするようです） また、は「空文字列」という一つの文字列を含むlanguageであるのに対して、は何の文字列も含…

形式システムと知能の関係について P308 「コンピュータはしろと言われたことしかできない」という古い金言があるが、これは次の2つの点を見逃している。すなわち、我々はコンピュータに「しろ」と言ったことの結果をあらかじめ分かってはいない（場合がある…