Is there a name for language classes closed under union, inverse gsm mappings and intersection with regular languages?

This is a bit similar to trio or AFL, but I specifically do not want to require closure under homomorphisms.

An example of such a language class that is not a trio is the poly-context-free languages (intersections of finitely many context-free languages).


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.