Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata

Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel +1

We study the complexity relationship between three models of unbounded memory automata: nu-automata ($\nu$-A), Layered Memory Automata (LaMA)and History-Register Automata (HRA). Thes…