Skip to content (access key 's')
Logo of Technion
Logo of CS Department
Logo of CS4People

The Taub Faculty of Computer Science Events and Talks

Jumping Automata over Infinite Words
event speaker icon
Omer Yizhaq (M.Sc. Thesis Seminar)
event date icon
Wednesday, 15.05.2024, 15:30
event location icon
Zoom lecture: 95929737670, password: OmerMSC and room 601
event speaker icon
Advisor: Dr. S. Almagor
We introduce and study jumping automata over infinite words, a fascinating twist on traditional finite automata. These machines read their input in a non-consecutive manner, defying conventional word order. We explore three distinct semantics: one ensuring every letter is accounted for, another permitting word permutation within fixed windows, and a third allowing permutation within windows of an existentially-quantified bound. Our work covers expressiveness, closure properties, algorithmic characteristics of these models, and more.