В даний час я проводжу кілька досліджень формальної мови за участю класів мов вище регулярних, але нижче вільних від контексту. Я дивлюся на такі речі, як багатообласні машини з реверсивним обмеженням, односкладні лічильники, детерміновані КФЛ тощо.
Мені цікаво, чи хтось знає хорошу книгу чи оглядовий документ, який окреслює властивості цих мов. Більшість того, на що я дивлюся, є надто незрозумілим або занадто новим, щоб бути у моїй книзі Хопкрофт-Уллман, навіть видання 1979 року.
В основному я шукаю, які мовні класи містяться одна в іншу, властивості закриття цих мов та вирішення основних проблем (F-проблеми) на цих мовах.
Деякі приклади речей, які я шукаю в цій довідці:
- Чи всі мови, прийняті машинами з декількома лічильниками зворотного ходу, також приймаються машинами, що не мають обмеження заднім ходом?
- Чи закриті детерміновані зворотні мови MultiCounter під лівою та правою конкатенацією?
- Універсальність рішуча для одноразових машин.
Це лише приклади питань, у мене є багато інших, які виникають у моїй щоденній роботі.
Для початку я спробував простежити, які документи цитують Оскара Ібарру "Машини з багатообласною оберненою обробкою та їхні рішення", але не знайшов багато.