output
20172026
most citedPressure Profile Calculation with Mesh Ewald Methods

39 citations

Showing cs.FLShow all

6 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…

cs.FL2025

On some Classes of Reversible 2-head Automata

Benedek Nagy, Walaa Yasin

Deterministic 2-head finite automata which are machines that process an input word from both ends are analyzed for their ability to perform reversible computations. This implies th…

cs.FL2025

A Myhill-Nerode Type Characterization of 2detLIN Languages

Benedek Nagy

Linear automata are automata with two reading heads starting from the two extremes of the input, are equivalent to 5' -> 3' Watson-Crick (WK) finite automata. The heads read the in…

cs.FL20231 cited

State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters

Benedek Nagy

Deterministic and nondeterministic finite automata with translucent letters were introduced by Nagy and Otto more than a decade ago as Cooperative Distributed systems of a kind of…

cs.FL2023

Proceedings of the 16th International Conference on Automata and Formal Languages

Zsolt Gazdag, Szabolcs Iván, Gergely Kovásznai

The 16th International Conference on Automata and Formal Languages (AFL 2023) was held in Eger, September 5-7, 2023. It was organized by the Eszterházy Károly Catholic University o…