23 citations · 52 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.FL2022★ 1 cited
Reversible Computations of One-Way Counter Automata
Martin Kutrib, Andreas Malcher
Deterministic one-way time-bounded multi-counter automata are studied with respect to their ability to perform reversible computations, which means that the automata are also backw…
cs.FL2022★ 1 cited
Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers
Martin Kutrib, Andreas Malcher, Carlo Mereghetti +1
An iterated uniform finite-state transducer (IUFST) runs the same length-preserving transduction, starting with a sweep on the input string and then iteratively sweeping on the out…