Mixed languages

Cette question a une réponse plutôt facile, mais il existe de trop nombreux cas où la réponse est négative. Une question plus intéressante est de savoir si on peut représenter R comme une union finie de mélanges de langages rationnels. Pour l'instant, nous n'avons pas de réponse à cette question. En revanche, nous montrons qu'il est décidable, pour un entier k donné, si R est union d'au plus k mélanges de langages rationnels.