Showing cs.FLShow all
2 papers · 1 filter
cs.FL2024
Quantitative Semantics for Jumping Automata
Shaull Almagor, Neta Dafni, Ishai Salgado
Jumping automata are finite automata that read their input in a non-sequential manner, by allowing a reading head to ``jump'' between positions on the input, consuming a permutatio…
cs.FL2023
Determinization of Integral Discounted-Sum Automata is Decidable
Shaull Almagor, Neta Dafni
Nondeterministic Discounted-Sum Automata (NDAs) are nondeterministic finite automata equipped with a discounting factor , and whose transitions are labelled by weights. The va…