Watson-crick pushdown automata

Article Type

Research Article

Publication Title

Kybernetika

Abstract

A multi-head 1-way pushdown automaton with k heads is a pushdown automaton with k 1-way read heads on the input tape and a stack. It was previously shown that the deterministic variant of the model cannot accept all the context free languages. In this paper, we introduce a 2-tape, 2-head model namely Watson-Crick pushdown automata where the content of the second tape is determined using a complementarity relation, similar to Watson-Crick automata. We show computational powers of nondeterministic two-head pushdown automata and nondeterministic Watson-Crick pushdown automata are same. Moreover, deterministic Watson-Crick pushdown automata can accept all the context free languages.

First Page

868

Last Page

876

DOI

10.14736/kyb-2017-5-0868

Publication Date

1-1-2017

Comments

Open Access, Green

This document is currently not available here.

Share

COinS