HTML+CSSの計算能力についての考察 - DT日記ついったーで「HTMLでチューリング機械は作れるか?」といふ話題があったので考察。 チューリング機械と計算能力 チューリング機械 とは、イギリスの数学者 アラン・チューリング (Alan Mathison Turing) が計算可能性の定義のために提唱した想像上の装置。 ja.Wp の チューリングマシン、チューリング完全、チャーチ＝チューリングのテーゼ あたりを参照のこと。 チューリング機械はそのシンプルな構造にも拘らず、割といろんな計算を実装することが可能で、2 + 3 みたいな単純な計算は云ふまでもなく、高度な条件判断を伴ふ複雑なプログラム(計算)を記述することもできる。このチューリング機械と同じ計算をすることができることを「チューリングマシンと等価の計算能力を持つ」「チューリング完全である」といふ。計算能力 とは計算時間や効率とはまったく関係がなく、 計算することができるか、できな
