„Turing-gép” változatai közötti eltérés

<!-- Sőt, az ábécén valamilyen [[rendezés]]t értelmezve, ennek segítségével [[lexikografikus rendezés|lexikografikusan rendezhetjük]] az átmenetfüggvény-értékeket mint rendezett elemhármasokat, eme rendezés segítségével pedig magukat az algoritmusokat is (hiszen ezek meg rendezett elem-n×k-asok!). Így adott egy rendezés a megszámlálható sok Turing-gépféleségen, így ezek fel is sorolhatóak. -->

 

=== Formális ekvivalencia ===