Showing 1–2 of 2 results for author: Gazdag, Z

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

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

Abstract: 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 of Eger, Hungary, and the University of Szeged, Hungary. Topics of interest covered the theory and applications of automata and formal languages and related areas. This volume contains the texts of the 3 invited present… ▽ More 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 of Eger, Hungary, and the University of Szeged, Hungary. Topics of interest covered the theory and applications of automata and formal languages and related areas. This volume contains the texts of the 3 invited presentations and the 18 papers selected by the International Program Committee from a total of 23 submissions. We would like to thank everybody who submitted a paper to the conference. △ Less

Submitted 3 September, 2023; originally announced September 2023.

Journal ref: EPTCS 386, 2023

On the number of useful objects in P systems with active membranes

Authors: Zsolt Gazdag, Károly Hajagos, Szabolcs Iván

Abstract: In this paper we investigate the number of objects actually used in the terminating computations of a certain variant of polarizationless P systems with active membranes. The P systems we consider here have no in-communication rules and have no different rules triggered by the same object to manipulate the same membrane. We show that if we consider such a P system $Π$ and its terminating computati… ▽ More In this paper we investigate the number of objects actually used in the terminating computations of a certain variant of polarizationless P systems with active membranes. The P systems we consider here have no in-communication rules and have no different rules triggered by the same object to manipulate the same membrane. We show that if we consider such a P system $Π$ and its terminating computation $\cal C$, then we can compute the result of $\cal C$ by setting a polynomial upper bound on the content of each region in $\cal C$. △ Less

Submitted 11 August, 2020; originally announced August 2020.