Faculty of Information Technology, BUT

Event Details

[FM] R. Kocman: A Jumping 5'->3' Watson-Crick Finite Automata Model

6 December 2018 Seminář FM

FIT Božetěchova 2, room A112, 11:00-11:30,, CZ
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.

Back to top