Décidabilité de problèmes sur les grammaires algébriques

Propositions de mises en forme

Leçons où ce développement peut être utilisé

• 32 — Décidabilité et indécidabilité. Exemples.