Turmite

Dans le de l'informatique, un turmite est une machine bidimensionnelle de Turing de qui a un état actuel, et un " ; tape" ; cela se compose d'une grille infinie avec les cellules, les noeuds ou les bords marqués. La fourmi de limites et le vant sont également employés. La fourmi de Langton de est un type bien connu de turmite défini sur les cellules d'une grille carrée. Les vers de Paterson de sont un type de turmite défini sur les bords d'une grille isométrique.

On lui a montré que les turmites sont en général exactement équivalent dans la puissance aux machines unidimensionnelles de Turing avec une bande infinie, car l'un ou l'autre peut simuler l'autre.

Random links: