4
(N) DFA avec les mêmes états initial / acceptant
Que sait-on de la classe des langages reconnus par les automates finis ayant le même état initial et acceptant? Il s'agit d'un sous-ensemble approprié des langues régulières (puisque chaque langue de ce type contient la chaîne vide), mais à quel point est-elle faible? Existe-t-il une caractérisation algébrique simple? Idem pour …