Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kocman Radim, Ing., Ph.D., UIFS (FIT)
NAGY, B.
Křivka Zbyněk, Ing., Ph.D., UIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., UIFS (FIT)
Abstrakt

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.

Klíčová slova

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

Rok
2018
Strany
117–132
Sborník
Tenth Workshop on Non-Classical Models of Automata and Applications (NCMA 2018)
Řada
books@ocg.at 332
Konference
10th Workshop on Non-Classical Models of Automata and Applications
ISBN
978-3-903035-21-8
Vydavatel
Austrian Computer Society
Místo
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/"
}
Soubory
Projekty
Centrum kompetence ve zpracování vizuálních informací (V3C - Visual Computing Competence Center), TAČR, Centra kompetence, TE01020415, zahájení: 2012-05-01, ukončení: 2019-12-31, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Nástroje, metody a technologie ICT pro podporu konceptu smart cities, VUT, Vnitřní projekty VUT, FIT-S-17-3964, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru