104 research outputs found
A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata
Recently, an infinite hierarchy of languages accepted by stateless
deterministic pushdown automata has been established based on the number of
pushdown symbols. However, the witness language for the n-th level of the
hierarchy is over an input alphabet with 2(n-1) elements. In this paper, we
improve this result by showing that a binary alphabet is sufficient to
establish this hierarchy. As a consequence of our construction, we solve the
open problem formulated by Meduna et al. Then we extend these results to
m-state realtime deterministic pushdown automata, for all m at least 1. The
existence of such a hierarchy for m-state deterministic pushdown automata is
left open
State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters
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 stateless restarting automata with window size
one. These finite state machines have a surprisingly large expressive power:
all commutative semi-linear languages and all rational trace languages can be
accepted by them including various not context-free languages. While the
nondeterministic variant defines a language class with nice closure properties,
the deterministic variant is weaker, however it contains all regular languages,
some non-regular context-free languages, as the Dyck language, and also some
languages that are not even context-free. In all those models for each state,
the letters of the alphabet could be in one of the following categories: the
automaton cannot see the letter (it is translucent), there is a transition
defined on the letter (maybe more than one transitions in nondeterministic
case) or none of the above categories (the automaton gets stuck by seeing this
letter at the given state and this computation is not accepting).
State-deterministic automata are recent models, where the next state of the
computation determined by the structure of the automata and it is independent
of the processed letters. In this paper our aim is twofold, on the one hand, we
investigate state-deterministic finite automata with translucent letters. These
automata are specially restricted deterministic finite automata with
translucent letters.
In the other novel model we present, it is allowed that for a state the set
of translucent letters and the set of letters for which transition is defined
are not disjoint. One can interpret this fact that the automaton has a
nondeterministic choice for each occurrence of such letters to see them (and
then erase and make the transition) or not to see that occurrence at that time.
Based on these semi-translucent letters, the expressive power of the automata
increases, i.e., in this way a proper generalization of the previous models is
obtained.Comment: In Proceedings AFL 2023, arXiv:2309.0112
Automata with modulo counters and nondeterministic counter bounds
We introduce and investigate Nondeterministically Bounded
Modulo Counter Automata (NBMCA), which are two-way one-head automata
that comprise a constant number of modulo counters, where the
counter bounds are nondeterministically guessed, and this is the only
element of nondeterminism. NBMCA are tailored to recognising those
languages that are characterised by the existence of a specific factorisation
of their words, e. g., pattern languages. In this work, we subject
NBMCA to a theoretically sound analysis
Commutative Languages and their Composition by Consensual Methods
Commutative languages with the semilinear property (SLIP) can be naturally
recognized by real-time NLOG-SPACE multi-counter machines. We show that unions
and concatenations of such languages can be similarly recognized, relying on --
and further developing, our recent results on the family of consensually
regular (CREG) languages. A CREG language is defined by a regular language on
the alphabet that includes the terminal alphabet and its marked copy. New
conditions, for ensuring that the union or concatenation of CREG languages is
closed, are presented and applied to the commutative SLIP languages. The paper
contributes to the knowledge of the CREG family, and introduces novel
techniques for language composition, based on arithmetic congruences that act
as language signatures. Open problems are listed.Comment: In Proceedings AFL 2014, arXiv:1405.527
Automata with Modulo Counters and Nondeterministic Counter Bounds
We introduce and investigate Nondeterministically Bounded Modulo Counter
Automata (NBMCA), which are two-way multi-head automata that comprise a
constant number of modulo counters, where the counter bounds are nondeterministically
guessed, and this is the only element of nondeterminism. NBMCA are
tailored to recognising those languages that are characterised by the existence of
a specific factorisation of their words, e. g., pattern languages. In this work, we
subject NBMCA to a theoretically sound analysis
26. Theorietag Automaten und Formale Sprachen 23. Jahrestagung Logik in der Informatik: Tagungsband
Der Theorietag ist die Jahrestagung der Fachgruppe Automaten und Formale Sprachen der Gesellschaft für Informatik und fand erstmals 1991 in Magdeburg statt. Seit dem Jahr 1996 wird der Theorietag von einem eintägigen Workshop mit eingeladenen Vorträgen begleitet. Die Jahrestagung der Fachgruppe Logik in der Informatik der Gesellschaft für Informatik fand erstmals 1993 in Leipzig statt. Im Laufe beider Jahrestagungen finden auch die jährliche Fachgruppensitzungen statt. In diesem Jahr wird der Theorietag der Fachgruppe Automaten und Formale Sprachen erstmalig zusammen mit der Jahrestagung der Fachgruppe Logik in der Informatik abgehalten. Organisiert wurde die gemeinsame Veranstaltung von der Arbeitsgruppe Zuverlässige Systeme des Instituts für Informatik an der Christian-Albrechts-Universität Kiel vom 4. bis 7. Oktober im Tagungshotel Tannenfelde bei Neumünster. Während des Tre↵ens wird ein Workshop für alle Interessierten statt finden. In Tannenfelde werden • Christoph Löding (Aachen) • Tomás Masopust (Dresden) • Henning Schnoor (Kiel) • Nicole Schweikardt (Berlin) • Georg Zetzsche (Paris) eingeladene Vorträge zu ihrer aktuellen Arbeit halten. Darüber hinaus werden 26 Vorträge von Teilnehmern und Teilnehmerinnen gehalten, 17 auf dem Theorietag Automaten und formale Sprachen und neun auf der Jahrestagung Logik in der Informatik. Der vorliegende Band enthält Kurzfassungen aller Beiträge. Wir danken der Gesellschaft für Informatik, der Christian-Albrechts-Universität zu Kiel und dem Tagungshotel Tannenfelde für die Unterstützung dieses Theorietags. Ein besonderer Dank geht an das Organisationsteam: Maike Bradler, Philipp Sieweck, Joel Day. Kiel, Oktober 2016 Florin Manea, Dirk Nowotka und Thomas Wilk
Clearing Restarting Automata
RestartovacĂ automaty byly navrĹľeny jako model pro redukÄŤnĂ analĂ˝zu, která pĹ™edstavuje lingvisticky motivovanou metodu pro kontrolu korektnosti vÄ›ty. CĂlem práce je studovat omezenÄ›jšà modely restartovacĂch automatĹŻ, kterĂ© smĂ vymazat podĹ™etÄ›zec nebo jej nahradit speciálnĂm pomocnĂ˝m symbolem, jenom na základÄ› omezenĂ©ho lokálnĂho kontextu tohoto podĹ™etÄ›zce. Tyto restartovacĂ automaty se nazĂ˝vajĂ clearing restarting automata. V práci jsou taktĂ©Ĺľ zkoumány uzávÄ›rovĂ© vlastnosti tÄ›chto automatĹŻ, jejich vztah k Chomskeho hierarchii a moĹľnosti uÄŤenĂ tÄ›chto automatĹŻ na základÄ› pozitivnĂch a negativnĂch pĹ™ĂkladĹŻ.Restarting automata were introduced as a model for analysis by reduction which is a linguistically motivated method for checking correctness of a sentence. The goal of the thesis is to study more restricted models of restarting automata which based on a limited context can either delete a substring of the current content of its tape or replace a substring by a special symbol, which cannot be overwritten anymore, but it can be deleted later. Such restarting automata are called clearing restarting automata. The thesis investigates the properties of clearing restarting automata, their relation to Chomsky hierarchy and possibilities for machine learning of such automata from positive and negative samples.Department of Software and Computer Science EducationKatedra softwaru a vĂ˝uky informatikyFaculty of Mathematics and PhysicsMatematicko-fyzikálnĂ fakult
Time-Staging Enhancement of Hybrid System Falsification
Optimization-based falsification employs stochastic optimization algorithms
to search for error input of hybrid systems. In this paper we introduce a
simple idea to enhance falsification, namely time staging, that allows the
time-causal structure of time-dependent signals to be exploited by the
optimizers. Time staging consists of running a falsification solver multiple
times, from one interval to another, incrementally constructing an input signal
candidate. Our experiments show that time staging can dramatically increase
performance in some realistic examples. We also present theoretical results
that suggest the kinds of models and specifications for which time staging is
likely to be effective
On the membership problem for pattern languages and related topics
In this thesis, we investigate the complexity of the membership problem for pattern languages. A pattern is a string over the union of the alphabets A and X, where X := {x_1, x_2, x_3, ...} is a countable set of variables and A is a finite alphabet containing terminals (e.g., A := {a, b, c, d}). Every pattern, e.g., p := x_1 x_2 a b x_2 b x_1 c x_2, describes a pattern language, i.e., the set of all words that can be obtained by uniformly substituting the variables in the pattern by arbitrary strings over A. Hence, u := cacaaabaabcaccaa is a word of the pattern language of p, since substituting cac for x_1 and aa for x_2 yields u. On the other hand, there is no way to obtain the word u' := bbbababbacaaba by substituting the occurrences of x_1 and x_2 in p by words over A.
The problem to decide for a given pattern q and a given word w whether or not w is in the pattern language of q is called the membership problem for pattern languages. Consequently, (p, u) is a positive instance and (p, u') is a negative instance of the membership problem for pattern languages. For the unrestricted case, i.e., for arbitrary patterns and words, the membership problem is NP-complete. In this thesis, we identify classes of patterns for which the membership problem can be solved efficiently.
Our first main result in this regard is that the variable distance, i.e., the maximum number of different variables that separate two consecutive occurrences of the same variable, substantially contributes to the complexity of the membership problem for pattern languages. More precisely, for every class of patterns with a bounded variable distance the membership problem can be solved efficiently. The second main result is that the same holds for every class of patterns with a bounded scope coincidence degree, where the scope coincidence degree is the maximum number of intervals that cover a common position in the pattern, where each interval is given by the leftmost and rightmost occurrence of a variable in the pattern.
The proof of our first main result is based on automata theory. More precisely, we introduce a new automata model that is used as an algorithmic framework in order to show that the membership problem for pattern languages can be solved in time that is exponential only in the variable distance of the corresponding pattern. We then take a closer look at this automata model and subject it to a sound theoretical analysis. The second main result is obtained in a completely different way. We encode patterns and words as relational structures and we then reduce the membership problem for pattern languages to the homomorphism problem of relational structures, which allows us to exploit the concept of the treewidth. This approach turns out be successful, and we show that it has potential to identify further classes of patterns with a polynomial time membership problem.
Furthermore, we take a closer look at two aspects of pattern languages that are indirectly related to the membership problem. Firstly, we investigate the phenomenon that patterns can describe regular or context-free languages in an unexpected way, which implies that their membership problem can be solved efficiently. In this regard, we present several sufficient conditions and necessary conditions for the regularity and context-freeness of pattern languages. Secondly, we compare pattern languages with languages given by so-called extended regular expressions with backreferences (REGEX). The membership problem for REGEX languages is very important in practice and since REGEX are similar to pattern languages, it might be possible to improve algorithms for the membership problem for REGEX languages by investigating their relationship to patterns. In this regard, we investigate how patterns can be extended in order to describe large classes of REGEX languages
- …