Showing 1–3 of 3 results for author: Lavado, G J

Weakly and Strongly Irreversible Regular Languages

Authors: Giovanna J. Lavado, Giovanni Pighizzini, Luca Prigioniero

Abstract: Finite automata whose computations can be reversed, at any point, by knowing the last k symbols read from the input, for a fixed k, are considered. These devices and their accepted languages are called k-reversible automata and k-reversible languages, respectively. The existence of k-reversible languages which are not (k-1)-reversible is known, for each k>1. This gives an infinite hierarchy of wea… ▽ More Finite automata whose computations can be reversed, at any point, by knowing the last k symbols read from the input, for a fixed k, are considered. These devices and their accepted languages are called k-reversible automata and k-reversible languages, respectively. The existence of k-reversible languages which are not (k-1)-reversible is known, for each k>1. This gives an infinite hierarchy of weakly irreversible languages, i.e., languages which are k-reversible for some k. Conditions characterizing the class of k-reversible languages, for each fixed k, and the class of weakly irreversible languages are obtained. From these conditions, a procedure that given a finite automaton decides if the accepted language is weakly or strongly (i.e., not weakly) irreversible is described. Furthermore, a construction which allows to transform any finite automaton which is not k-reversible, but which accepts a k-reversible language, into an equivalent k-reversible finite automaton, is presented. △ Less

Submitted 21 August, 2017; originally announced August 2017.

Comments: In Proceedings AFL 2017, arXiv:1708.06226

ACM Class: F.4.3

Journal ref: EPTCS 252, 2017, pp. 143-156

Minimal and Reduced Reversible Automata

Authors: Giovanna J. Lavado, Giovanni Pighizzini, Luca Prigioniero

Abstract: A condition characterizing the class of regular languages which have several nonisomorphic minimal reversible automata is presented. The condition concerns the structure of the minimum automaton accepting the language under consideration. It is also observed that there exist reduced reversible automata which are not minimal, in the sense that all the automata obtained by merging some of their equi… ▽ More A condition characterizing the class of regular languages which have several nonisomorphic minimal reversible automata is presented. The condition concerns the structure of the minimum automaton accepting the language under consideration. It is also observed that there exist reduced reversible automata which are not minimal, in the sense that all the automata obtained by merging some of their equivalent states are irreversible. Furthermore, a sufficient condition for the existence of infinitely many reduced reversible automata accepting a same language is given. It is also proved that, when the language is accepted by a unique minimal reversible automaton (that does not necessarily coincide with the minimum deterministic automaton), then no other reduced reversible automata accepting it can exist. △ Less

Submitted 21 November, 2016; originally announced November 2016.

Comments: Preliminary version presented at DCFS 2016 --- Descriptional Complexity of Formal Systems, Bucharest, Romania, Jul 5-8, 2016

MSC Class: 68Q45 ACM Class: F.1.1; F.4.3

Journal ref: Lectures Notes in Computer Science, 9777, pp. 168---179, Springer, 2016

Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent One-Way and Two-Way Deterministic Automata

Authors: Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki

Abstract: We investigate the conversion of one-way nondeterministic finite automata and context-free grammars into Parikh equivalent one-way and two-way deterministic finite automata, from a descriptional complexity point of view. We prove that for each one-way nondeterministic automaton with $n$ states there exist Parikh equivalent one-way and two-way deterministic automata with $e^{O(\sqrt{n \ln n})}$ a… ▽ More We investigate the conversion of one-way nondeterministic finite automata and context-free grammars into Parikh equivalent one-way and two-way deterministic finite automata, from a descriptional complexity point of view. We prove that for each one-way nondeterministic automaton with $n$ states there exist Parikh equivalent one-way and two-way deterministic automata with $e^{O(\sqrt{n \ln n})}$ and $p(n)$ states, respectively, where $p(n)$ is a polynomial. Furthermore, these costs are tight. In contrast, if all the words accepted by the given automaton contain at least two different letters, then a Parikh equivalent one-way deterministic automaton with a polynomial number of states can be found. Concerning context-free grammars, we prove that for each grammar in Chomsky normal form with h variables there exist Parikh equivalent one-way and two-way deterministic automata with $2^{O(h^2)}$ and $2^{O(h)}$ states, respectively. Even these bounds are tight. △ Less

Submitted 11 December, 2012; v1 submitted 6 December, 2012; originally announced December 2012.

Comments: 30 pages, 2 figure. A preliminary version has been presented at DLT 2012, LNCS 7410, pp. 284-295. Version 2: an example has been added in Section 3

ACM Class: F.1.1; F.4.2; F.4.3