1
Langues reconnues par les DFA de taille polynomiale
Pour un alphabet fini fixe , un langage formel sur est régulier s'il existe un automate fini déterministe (DFA) sur qui accepte exactement .L ΣΣΣ\SigmaLLLΣΣ\SigmaLΣΣ\SigmaLLL Je m'intéresse aux langues qui sont "presque" régulières dans le sens où elles peuvent être reconnues par des familles d'automates de taille qui ne croissent …