Publication detail

A Jumping 5'->3' Watson-Crick Finite Automata Model

KOCMAN, R. KŘIVKA, Z. MEDUNA, A. NAGY, B.

Original Title

A Jumping 5'->3' Watson-Crick Finite Automata Model

Type

journal article in Web of Science

Language

English

Original Abstract

Jumping finite automata and sensing 5'->3' Watson-Crick finite automata are finite-state models of computation which allow to process the input word not only in the strictly left-to-right manner. In this paper a new combined model of them is presented. The accepting power of the new model is studied and compared with the original models and also other well-known language families. Furthermore, the paper investigates changes in the accepting power when commonly studied restrictions from Watson-Crick finite automata, e.g., all states are final, are applied to this combined model. In the end, the paper presents a comprehensive hierarchy of all related language families.

Keywords

jumping automata, Watson-Crick automata, DNA computer, 2-head automata, discontinuous information processing, formal languages

Authors

KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A.; NAGY, B.

Released

24. 1. 2022

ISBN

0001-5903

Periodical

Acta Informatica

Year of study

59

Number

5

State

Federal Republic of Germany

Pages from

557

Pages to

584

Pages count

28

URL

https://rdcu.be/cFzvd

BibTex

@article{BUT169467,
  author="KOCMAN, R. and KŘIVKA, Z. and MEDUNA, A. and NAGY, B.",
  title="A Jumping 5'->3' Watson-Crick Finite Automata Model",
  journal="Acta Informatica",
  year="2022",
  volume="59",
  number="5",
  pages="557--584",
  doi="10.1007/s00236-021-00413-x",
  issn="0001-5903",
  url="https://rdcu.be/cFzvd"
}