Result Details

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

KOCMAN, R.; NAGY, B.; KŘIVKA, Z.; MEDUNA, A. A Jumping 5'->3' Watson-Crick Finite Automata Model. Tenth Workshop on Non-Classical Models of Automata and Applications (NCMA 2018). books@ocg.at 332. Wien: Austrian Computer Society, 2018. p. 117-132. ISBN: 978-3-903035-21-8.
Type
conference paper
Language
English
Authors
Kocman Radim, Ing., Ph.D., DIFS (FIT)
NAGY, B.
Křivka Zbyněk, Ing., Ph.D., DIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., DIFS (FIT)
Abstract

This paper introduces and studies a combined model of jumping finite automata and sensing 5'->3' Watson-Crick finite automata.
The accepting power of the new model is compared with the original models and also with some well-known language families.
Furthermore, the paper investigates changes in the accepting power when restrictions are applied on the model.

Keywords

jumping finite automata, Watson-Crick finite automata, discontinuous tape reading, parallel tape reading

Published
2018
Pages
117–132
Proceedings
Tenth Workshop on Non-Classical Models of Automata and Applications (NCMA 2018)
Series
books@ocg.at 332
Conference
10th Workshop on Non-Classical Models of Automata and Applications
ISBN
978-3-903035-21-8
Publisher
Austrian Computer Society
Place
Wien
BibTeX 
@inproceedings{BUT155011,
  author="KOCMAN, R. and NAGY, B. and KŘIVKA, Z. and MEDUNA, A.",
  title="A Jumping 5'->3' Watson-Crick Finite Automata Model",
  booktitle="Tenth Workshop on Non-Classical Models of Automata and Applications (NCMA 2018)",
  year="2018",
  series="books@ocg.at 332",
  pages="117--132",
  publisher="Austrian Computer Society",
  address="Wien",
  isbn="978-3-903035-21-8",
  url="https://www.fit.vut.cz/research/publication/11729/"
}
Files
Projects
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
Nástroje, metody a technologie ICT pro podporu konceptu smart cities, BUT, Vnitřní projekty VUT, FIT-S-17-3964, start: 2017-03-01, end: 2020-02-29, completed
V3C - Visual Computing Competence Center, TAČR, Centra kompetence, TE01020415, start: 2012-05-01, end: 2019-12-31, completed
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top