Glossaris

Resultat obtingut per Y. Bar-Hillel, M. Perles i E. Shamir que posa de manifest la naturalesa repetitiva dels mots dels llenguatges regulars. Es tracta d’una condició necessària de regularitat. Quan es considera el seu contrarecíproc, es converteix en una condició suficient de no-regularitat que es pot utilitzar per a demostrar que determinats llenguatges no són regulars.