Charles Explorer logo
🇬🇧

Pumping deterministic monotone restarting automata and DCFL

Publication at Faculty of Mathematics and Physics |
2020

Abstract

We introduce a new type of the deterministic monotone restarting automaton that enables new types of characterization of the class of deterministic context-free languages (DCFL) based on pumping. The characterization is obtained through new types of normalizations of deterministic monotone restarting automata.

This paper is the first step to prepare notions for studying the relation between restarting automata and analog neuron automata, and for studying degrees of non-regularity of DCFL.