דלג לתוכן (מקש קיצור 's')
אירועים

אירועים והרצאות בפקולטה למדעי המחשב ע"ש הנרי ומרילין טאוב

אוטומטים קופצים מעל מילים אינסופיות
event speaker icon
עומר יצחק (הרצאה סמינריונית למגיסטר)
event date icon
יום רביעי, 15.05.2024, 15:30
event location icon
הרצאת זום: 95929737670, סיסמה: OmerMSC וחדר 601
event speaker icon
מנחה: 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.