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. (DFIT-OIP)
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
UT WoS
000745756500001
EID Scopus
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