Generalizations of Checking Stack Automata: Characterizations and Hierarchies

We examine different generalizations of checking stack automata by allowing multiple input heads and multiple stacks, and characterize their computing power in terms of two-way multi-head finite au...