Machine de Turing Alternante

concept

Propriétés