Detail publikace

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

KOCMAN Radim, KŘIVKA Zbyněk, MEDUNA Alexander a NAGY Benedek. A Jumping 5'->3' Watson-Crick Finite Automata Model. Acta Informatica, roč. 59, č. 5, 2022, s. 557-584. ISSN 0001-5903. Dostupné z: https://rdcu.be/cFzvd
Název česky
Model skákajících 5'->3' Watson-Crickových konečných automatů
Typ
článek v časopise
Jazyk
angličtina
Autoři
Kocman Radim, Ing., Ph.D. (CVT FIT VUT)
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT)
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT)
Nagy Benedek, Dr. (EMU)
URL
Abstrakt

Skákající konečné automaty a 5'->3' Watson-Crickovy konečné automaty s detekcí setkání hlav jsou konečně-stavové modely výpočtu umožňující zpracovat vstupní větu nejen striktně zleva doprava. V tomto článku je prezentován nový model kombinující oba předchozí. Je studována síla nového modelu a provedeno porovnání s původními modely a také s klasickými třídami jazyků. Dále článek studuje změny síly v případě běžných omezení z oblasti Watson-Crickových konečných automatů jako například koncovost všech stavů aplikovaných na nový model. V závěru článek prezentuje ucelenou hierarchii souvisejících tříd jazyků.

Rok
2022
Strany
557-584
Časopis
Acta Informatica, roč. 59, č. 5, ISSN 0001-5903
Vydavatel
Springer Verlag
DOI
10.1007/s00236-021-00413-x
UT WoS
000745756500001
EID Scopus
2-s2.0-85123484658
BibTeX 
@ARTICLE{FITPUB12083,
   author = "Radim Kocman and Zbyn\v{e}k K\v{r}ivka and Alexander Meduna and Benedek Nagy",
   title = "A Jumping 5'->3' Watson-Crick Finite Automata Model",
   pages = "557--584",
   journal = "Acta Informatica",
   volume = 59,
   number = 5,
   year = 2022,
   ISSN = "0001-5903",
   doi = "10.1007/s00236-021-00413-x",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12083"
}
Nahoru