Weighted HOM-Problem for Nonnegative Integers

Andreas Maletti, Andreea-Teodora Nász, Erik Paul

The HOM-problem asks whether the image of a regular tree language under a given tree homomorphism is again regular. It was recently shown to be decidable by Godoy, Giménez, Ramos,…