理論的にチューリングマシンは有限オートマトンよりも高性能であるため、この概念は正規であるという概念よりも強い(参考コルモゴロフ複雑性、).
コルモゴロフ複雑性、