|
Periodic properties of pushdown automata
I. E. Ivanov Huawei Technologies Co., Ltd.
Abstract:
Finite automata transform periodic sequences into periodic ones. The period of the output sequence is bounded from above by a linear function of input period. It is known that pushdown automata also preserve the set of periodic sequences. We prove that the output period for one-counter pushdown automata is bounded from above by a quadratic function of input period. We also give an example of an automaton with a quadratic lower bound on output period.
Keywords:
pushdown automaton, one-counter pushdown automaton, periodic sequence.
Received: 03.11.2017
Citation:
I. E. Ivanov, “Periodic properties of pushdown automata”, Diskr. Mat., 30:3 (2018), 40–47; Discrete Math. Appl., 29:6 (2019), 351–356
Linking options:
https://www.mathnet.ru/eng/dm1482https://doi.org/10.4213/dm1482 https://www.mathnet.ru/eng/dm/v30/i3/p40
|
Statistics & downloads: |
Abstract page: | 298 | Full-text PDF : | 49 | References: | 31 | First page: | 18 |
|