Searcharxiv⌕ Search

arXiv subjects

Jana Schulz

Publications and source records attributed to Jana Schulz.

2 recordsLinked to original sources
arXiv2026

Parallel Communicating Finite Automata: The Non-Forgetting Model

Parallel Communicating Finite Automata (PCFA) are systems of several finite automata that can communicate by requesting the state of another automaton. As an attempt to make PCFA as defined in [8] and [2] more realistic, the non-forgetting model is introduced where automata retain their own states while querying. As in previous publications, several variants of these automata systems are considered. The computational capacity of the non-forgetting model is investigated and compared to ''forgetting'' systems and multi-head finite automata. It is shown that most variants of non-forgetting PCFA are as powerful as multi-head automata in the deterministic and nondeterministic cases where the number of automata equals the number of heads. The only exception is the special case of deterministic centralized systems in non-returning mode. Here, a strict inclusion is proved. In the course of this proving, a proof from [2] is completed. With that, this paper answers some questions for nfPCFA that are open for the classical ''forgetting'' case.

cs.FL↗
arXiv2026

Forbidden-Context & Ordered Grammar Systems

In this paper, we consider combining the ideas of forbidden random context grammars as well as of ordered grammars with cooperating distributed grammar systems (CDGS). We focus on investigating their generative capacities. Both ideas can be added to CDGS in two ways: either having (e.g.) a strict order of the rules in each component, or having a strict order on the components. This leads to four different scenarios, only some of them have been addressed in the literature before. While in the area of CDGS, many inclusions among language classes have been %are still open questions for decades, the proposed addition of forbidden random context and ordered regulation variants leads to a clear picture which allows us to get down to only five different classes of languages well known from classical regulated rewriting. This way, we also solve some open problems from the literature.

cs.FL↗