Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Reverse Post Correspondence Problem and Undecidability of String Assembly Systems
Benedek Nagy
The Post Correspondence Problem is as follows: having a set of dominoes, is there any (maybe repeating) sequence of them such that the words formed by the upper parts and the lower…
cs.FL2026
2-Head 2D Returning Finite Automata
Henning Fernau, Benedek Nagy, R. Jennifer Rose +2
We introduce and study a family of two-head finite automata called two head returning finite automata (2-HRFA) operating on rectangular arrays of picture languages, in which both h…