Finite tree automata with cost functions
semiring of finite subsets of nonnegative integers
scientific article; zbMATH DE number 567729
scientific article