Pushdown Automata with Reversal-Bounded Counters

Tat-hung Chan. Pushdown Automata with Reversal-Bounded Counters. J. Comput. Syst. Sci., 37(3):269-291, 1988.

Abstract

Abstract is missing.