Est Il Dans La Nature De Létat De Limiter Son Pouvoir

similaire qui procède, toujours en temps linéaire, jusqu’à stabilisation par ajouts successifs d’états accessibles à un ensemble réduit initialement à {i}. Théorème 4.2 Pour tout automate fini A, déterministe ou pas, il existe un automate fini de même nature sans état inutile qui peut être obtenu à partir du premier en temps linéaire. 4.1 Décision du vide Déterminer si un automate reconnait le langage vide est un problème aux très nombreuses applications pratiques, nous en verrons une à la section