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

FIT Bozetechova 2, room A112, 11:00-11:30, 6.12.2018

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

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.

Your IPv4 address:
Switch to https