Attualmente sto facendo alcune ricerche linguistiche formali che coinvolgono classi di lingue sopra il normale ma sotto il contesto gratuito. Sto guardando cose come macchine multicounter a inversione inversa, macchine contatore a pila singola, CFL deterministici, ecc.
Mi chiedo se qualcuno sappia di un buon libro o di un documento di indagine che delinei le proprietà di queste lingue. Gran parte di ciò che sto guardando è troppo oscuro o troppo nuovo per essere nel mio libro Hopcroft-Ullman, anche nell'edizione del 1979.
Principalmente sto cercando quali classi di lingue sono contenute l'una nell'altra, le proprietà di chiusura di queste lingue e la decidibilità dei problemi di base (problemi F) su queste lingue.
Alcuni esempi di cose che vorrei cercare in questo riferimento:
- Tutte le lingue sono accettate dalle macchine Contatore multiplo con limite di inversione anche le macchine Contatore singolo senza limite di inversione?
- I linguaggi MultiCounter deterministici limitati all'inversione sono chiusi sotto concatenazione sinistra e destra?
- L'universalità è decidibile per macchine a contatore singolo.
Queste sono solo domande di esempio, ne ho molte altre che emergono nel mio lavoro quotidiano.
Come punto di partenza, ho provato a tracciare quali documenti citano "Le macchine multicounter con inversione di frontiera e i loro problemi di decisione" di Oscar Ibarra, ma non ho trovato molto.