Je fais actuellement des recherches sur le langage formel impliquant des classes de langues au-dessus de Regular mais en dessous de Context Free. Je regarde des choses comme les machines à compteurs multiples inversées, les compteurs à pile unique, les LFC déterministes, etc.
Je me demande si quelqu'un connaît un bon livre ou un document d'enquête qui décrit les propriétés de ces langues. La plupart de ce que je regarde est trop obscur ou trop nouveau pour être dans mon livre Hopcroft-Ullman, même l'édition 1979.
Je recherche principalement les classes de langues qui sont contenues les unes dans les autres, les propriétés de fermeture de ces langues et la décidabilité des problèmes de base (problèmes F) sur ces langues.
Un exemple de choses que je rechercherais dans cette référence:
- Est-ce que toutes les langues acceptées par les machines multi-compteurs à limite d'inversion sont également acceptées par les machines à compteur unique sans limite d'inversion?
- Les langages MultiCounter bornés à l'inversion déterministe sont-ils fermés sous concaténation gauche et droite?
- L'universalité est-elle décidable pour les machines à guichet unique.
Ce ne sont que des exemples de questions, j'en ai beaucoup d'autres qui reviennent dans mon travail quotidien.
Comme point de départ, j'ai essayé de retrouver les articles qui citent les machines à compteurs inversés et leurs problèmes de décision d'Oscar Ibarra, mais je n'ai pas trouvé grand-chose.