LINEAR CONJUNCTIVE GRAMMARS AND ONE-TURN SYNCHRONIZED ALTERNATING PUSHDOWN AUTOMATA
2014 ◽
Vol 25
(06)
◽
pp. 781-802
◽
In this paper we introduce a subfamily of synchronized alternating pushdown automata, one-turn synchronized alternating pushdown automata, which accept the same class of languages as those generated by linear conjunctive grammars. This equivalence of models of computation is analogous to the classical equivalence between one-turn pushdown automata and linear grammars, thus strengthening the claim of synchronized alternating pushdown automata as a natural counterpart of conjunctive grammars.
2016 ◽
Vol 82
(8)
◽
pp. 1329-1359
◽
2020 ◽
Vol 9
(11)
◽
pp. 9463-9480
2015 ◽
Vol 17
(1)
◽
pp. 1-45
◽