12 citations · 96 across the 17 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017★ 12 cited
Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties
Oscar H. Ibarra, Ian McQuillan
We introduce a model of one-way language acceptors (a variant of a checking stack automaton) and show the following decidability properties: (1) The deterministic version has a dec…
cs.FL2017★ 11 cited
On Store Languages of Language Acceptors
Oscar H. Ibarra, Ian McQuillan
It is well known that the "store language" of every pushdown automaton -- the set of store configurations (state and stack contents) that can appear as an intermediate step in acce…