2000 character limit reached
Linear Context-Free Tree Languages and Inverse Homomorphisms (1510.04881v2)
Published 16 Oct 2015 in cs.FL
Abstract: We prove that the class of linear context-free tree languages is not closed under inverse linear tree homomorphisms. The proof is by contradiction: we encode Dyck words into a context-free tree language and prove that its preimage under a certain linear tree homomorphism cannot be generated by any context-free tree grammar. A positive result can still be obtained: the linear monadic context-free tree languages are closed under inverse linear tree homomorphisms.