Machine de Post

concept

type d'automate déterministe

Propriétés