Journal article

Publication year: 2022

Pages: 285-311

Journal: International Journal of Foundations of Computer Science

Volume number: 33

Issue number: 03N04

ISSN: 0129-0541

eISSN: 1793-6373

Open access status: Green

DOI Link: https://doi.org/10.1142/S0129054122410064

Publisher: World Scientific Publishing

Abstract: 
We introduce and study input-driven deterministic and nondeterministic double-head pushdown automata. A double-head pushdown automaton is a slight generalization of an ordinary pushdown automaton working with two input heads that move in opposite directions on the common input tape. In every step one head is moved and the automaton decides on acceptance if the heads meet. Demanding the automaton to work input-driven it is required that every input symbol uniquely defines the action on the pushdown store (push, pop, state change). Normally this is modeled by a partition of the input alphabet and is called a signature. Since our automaton model works with two heads either both heads respect the same signature or each head owes its own signature. This results in two variants of input-driven double-head pushdown automata. The induced language families on input-driven double-head pushdown automata are studied from the perspectives of their language describing capability, their closure properties, and decision problems.

Harvard Citation style: Holzer, M., Kutrib, M., Malcher, A. and Wendlandt, M. (2022) Input-Driven Double-Head Pushdown Automata, International Journal of Foundations of Computer Science, 33(03N04), pp. 285-311. https://doi.org/10.1142/S0129054122410064

APA Citation style: Holzer, M., Kutrib, M., Malcher, A., & Wendlandt, M. (2022). Input-Driven Double-Head Pushdown Automata. International Journal of Foundations of Computer Science. 33(03N04), 285-311. https://doi.org/10.1142/S0129054122410064