The Containment Problem for Unambiguous Register Automata

Antoine Mottet, Karin Quaas

We investigate the complexity of the containment problem "Does $L(A)\subseteq L(B)$ hold?", where $B$ is an unambiguous register automaton and $A$ is an arbitrary register automato…