Event Details
[FM] R. Kocman: A Jumping 5'->3' Watson-Crick Finite Automata Model
Seminář FM
The seminar is organized by the Formal Model Research Group at the Department of Information Systems, Faculty of Information Technology, Brno University of Technology. As its central scientific topic, it discusses formal models and their applications. Recent presentations are to be found at http://www.fit.vutbr.cz/~meduna/work/doku.php?id=talks:seminar.
Author: Radim Kocman (FIT, BUT)
Title: A Jumping 5'3' Watson-Crick Finite Automata Model
Abstract: This talk introduces a combined model of jumping finite automata and sensing 5'3' Watson-Crick finite automata. We will compare the accepting power of the new model with the original models and also with some well-known language families. We will also discuss changes in the accepting power when various restrictions are applied on the model.