Automate Linéairement Borné

concept

une machine de Turing non déterministe qui n'utilise qu'une portion contiguë du ruban de taille linéaire en la taille de l'entrée

Propriétés

Catégories