>くるるさんがTuring機械と見做せない「機械」としてどのようなものを想定されているのか想像が付きません。 いくらでもあると思うんですが。AIBOとかブルドーザーとか水車とか。アナログな入出力があった時点でTuring機械とはみなせないわけで。もう少し文…