Je me demandais quels ensembles de langues sont générés par les restrictions des expressions régulières. Supposons que toutes les restrictions aient un symbole constant pour chaque élément de et de concaténation. Ensuite, huit classes peuvent être formées par la présence ou l'absence de complément / négation, d'altération / d'union et de l'étoile de Kleene. (Oui, les expressions régulières «normales» n'ont pas d' opérateur , mais c'est pratique ici.)
Les expressions permettant l'alternance et l'étoile de Kleene, avec ou sans complément (qu'est-ce qu'une petite explosion double exponentielle entre amis?), Génèrent les langages réguliers. Les expressions permettant l'alternance et le complément mais pas l'étoile de Kleene génèrent les langages sans étoile. Les expressions permettant l'alternance mais pas le complément ou l'étoile de Kleene génèrent les langages finis.
Mais peut-on générer des classes de langues intéressantes sans alternance? Sans aucun des trois opérateurs, tout ce qui peut être généré est un seul mot. L'opérateur complément n'aide pas beaucoup ici.
Avec juste l'étoile Kleene, la classe est quelque peu intéressante ... il n'est pas clair s'ils peuvent être reconnus plus rapidement que les langues normales. (Est-ce que quelque chose de non trivial est connu à ce sujet?)
Avec l'étoile et le complément Kleene ... obtenez-vous quelque chose d'intéressant? Cette classe a-t-elle un nom?
Cette question est inspirée de la question de l'expression régulière sur math.se.