Showing 1–14 of 14 results for author: D'Alessandro, F

Quantum automata and languages of finite index

Authors: Andrea Benso, Flavio D'Alessandro, Paolo Papi

Abstract: This paper is a continuation of a previous study on the so-called measure once finite quantum automata model introduced by Moore and Crutchfield in 2000. We investigate conditions assuring that, given a language recognized by such a device and a language generated by a context-free grammar of finite index or by a matrix context-free grammar, it is recursively decidable whether or not they have a n… ▽ More This paper is a continuation of a previous study on the so-called measure once finite quantum automata model introduced by Moore and Crutchfield in 2000. We investigate conditions assuring that, given a language recognized by such a device and a language generated by a context-free grammar of finite index or by a matrix context-free grammar, it is recursively decidable whether or not they have a nonempty intersection. △ Less

Submitted 5 August, 2024; v1 submitted 19 June, 2024; originally announced June 2024.

Comments: arXiv admin note: text overlap with arXiv:1303.2967

Report number: Roma01.Math

Unboundedness problems for machines with reversal-bounded counters

Authors: Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche

Abstract: We consider a general class of decision problems concerning formal languages, called ``(one-dimensional) unboundedness predicates'', for automata that feature reversal-bounded counters (RBCA). We show that each problem in this class reduces -- non-deterministically in polynomial time -- to the same problem for just finite automata. We also show an analogous reduction for automata that have access… ▽ More We consider a general class of decision problems concerning formal languages, called ``(one-dimensional) unboundedness predicates'', for automata that feature reversal-bounded counters (RBCA). We show that each problem in this class reduces -- non-deterministically in polynomial time -- to the same problem for just finite automata. We also show an analogous reduction for automata that have access to both a pushdown stack and reversal-bounded counters (PRBCA). This allows us to answer several open questions: For example, we show that it is coNP-complete to decide whether a given (P)RBCA language $L$ is bounded, meaning whether there exist words $w_1,\ldots,w_n$ with $L\subseteq w_1^*\cdots w_n^*$. For PRBCA, even decidability was open. Our methods also show that there is no language of a (P)RBCA of intermediate growth. This means, the number of words of each length grows either polynomially or exponentially. Part of our proof is likely of independent interest: We show that one can translate an RBCA into a machine with $\mathbb{Z}$-counters in logarithmic space, while preserving the accepted language. △ Less

Submitted 24 January, 2023; originally announced January 2023.

Relationships Between Bounded Languages, Counter Machines, Finite-Index Grammars, Ambiguity, and Commutative Regularity

Authors: Arturo Carpi, Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan

Abstract: It is shown that for every language family that is a trio containing only semilinear languages, all bounded languages in it can be accepted by one-way deterministic reversal-bounded multicounter machines (DCM). This implies that for every semilinear trio (where these properties are effective), it is possible to decide containment, equivalence, and disjointness concerning its bounded languages. A c… ▽ More It is shown that for every language family that is a trio containing only semilinear languages, all bounded languages in it can be accepted by one-way deterministic reversal-bounded multicounter machines (DCM). This implies that for every semilinear trio (where these properties are effective), it is possible to decide containment, equivalence, and disjointness concerning its bounded languages. A condition is also provided for when the bounded languages in a semilinear trio coincide exactly with those accepted by DCM machines, and it is used to show that many grammar systems of finite index -- such as finite-index matrix grammars and finite-index ETOL -- have identical bounded languages as DCM. Then connections between ambiguity, counting regularity, and commutative regularity are made, as many machines and grammars that are unambiguous can only generate/accept counting regular or commutatively regular languages. Thus, such a system that can generate/accept a non-counting regular or non-commutatively regular language implies the existence of inherently ambiguous languages over that system. In addition, it is shown that every language generated by an unambiguous finite-index matrix grammar has a rational characteristic series in commutative variables, and is counting regular. This result plus the connections are used to demonstrate that finite-index matrix grammars and finite-index ETOL can generate inherently ambiguous languages (over their grammars), as do several machine models. It is also shown that all bounded languages generated by these two grammar systems (those in any semilinear trio) can be generated unambiguously within the systems. Finally, conditions on languages generated by finite-index matrix grammars and finite-index ETOL implying commutative regularity are obtained. In particular, it is shown that every finite-index EDOL language is commutatively regular. △ Less

Submitted 6 December, 2022; originally announced December 2022.

Comments: 28 pages, 4 images

ACM Class: F.4.2

Journal ref: Theoretical Computer Science 862, 97--118 (2021)

Language Classes Associated With Automata Over Matrix Groups

Authors: Özlem Salehi, Flavio D'Alessandro, A. C. Cem Say

Abstract: We investigate the language classes recognized by group automata over matrix groups. For the case of $2 \times 2 $ matrices, we prove that the corresponding group automata for rational matrix groups are more powerful than the corresponding group automata for integer matrix groups. Finite automata over some special matrix groups, such as the discrete Heisenberg group and the Baumslag-Solitar group… ▽ More We investigate the language classes recognized by group automata over matrix groups. For the case of $2 \times 2 $ matrices, we prove that the corresponding group automata for rational matrix groups are more powerful than the corresponding group automata for integer matrix groups. Finite automata over some special matrix groups, such as the discrete Heisenberg group and the Baumslag-Solitar group are also examined. We also introduce the notion of time complexity for group automata and demonstrate some separations among related classes. The case of linear-time bounds is examined in detail throughout our repertory of matrix group automata. △ Less

Submitted 14 November, 2018; v1 submitted 29 October, 2018; originally announced October 2018.

Comments: Accepted to RAIRO-ITA, long version of arXiv:1609.00396

Generalized Results on Monoids as Memory

Authors: Özlem Salehi, Flavio D'Alessandro, A. C. Cem Say

Abstract: We show that some results from the theory of group automata and monoid automata still hold for more general classes of monoids and models. Extending previous work for finite automata over commutative groups, we demonstrate a context-free language that can not be recognized by any rational monoid automaton over a finitely generated permutable monoid. We show that the class of languages recognized b… ▽ More We show that some results from the theory of group automata and monoid automata still hold for more general classes of monoids and models. Extending previous work for finite automata over commutative groups, we demonstrate a context-free language that can not be recognized by any rational monoid automaton over a finitely generated permutable monoid. We show that the class of languages recognized by rational monoid automata over finitely generated completely simple or completely 0-simple permutable monoids is a semi-linear full trio. Furthermore, we investigate valence pushdown automata, and prove that they are only as powerful as (finite) valence automata. We observe that certain results proven for monoid automata can be easily lifted to the case of context-free valence grammars. △ Less

Submitted 21 August, 2017; v1 submitted 31 July, 2017; originally announced July 2017.

Comments: In Proceedings AFL 2017, arXiv:1708.06226

Journal ref: EPTCS 252, 2017, pp. 234-247

On incomplete and synchronizing finite sets

Authors: Arturo Carpi, Flavio D'Alessandro

Abstract: This paper situates itself in the theory of variable length codes and of finite automata where the concepts of completeness and synchronization play a central role. In this theoretical setting, we investigate the problem of finding upper bounds to the minimal length of synchronizing words and incompletable words of a finite language X in terms of the length of the words of X. This problem is relat… ▽ More This paper situates itself in the theory of variable length codes and of finite automata where the concepts of completeness and synchronization play a central role. In this theoretical setting, we investigate the problem of finding upper bounds to the minimal length of synchronizing words and incompletable words of a finite language X in terms of the length of the words of X. This problem is related to two well-known conjectures formulated by Cerny and Restivo, respectively. In particular, if Restivo's conjecture is true, our main result provides a quadratic bound for the minimal length of a synchronizing pair of any finite synchronizing complete code with respect to the maximal length of its words. △ Less

Submitted 23 December, 2016; originally announced December 2016.

Comments: 22 pages

MSC Class: 68Q45

On Finite-Index Indexed Grammars and Their Restrictions

Authors: Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan

Abstract: The family, L(INDLIN), of languages generated by linear indexed grammars has been studied in the literature. It is known that the Parikh image of every language in L(INDLIN) is semi-linear. However, there are bounded semi linear languages that are not in L(INDLIN). Here, we look at larger families of (restricted) indexed languages and study their properties, their relationships, and their decidabi… ▽ More The family, L(INDLIN), of languages generated by linear indexed grammars has been studied in the literature. It is known that the Parikh image of every language in L(INDLIN) is semi-linear. However, there are bounded semi linear languages that are not in L(INDLIN). Here, we look at larger families of (restricted) indexed languages and study their properties, their relationships, and their decidability properties. △ Less

Submitted 7 December, 2022; v1 submitted 20 October, 2016; originally announced October 2016.

Comments: 16 pages, latest version

MSC Class: 68Q45

Journal ref: Information and Computation, Vol. 279, 2021, p. 1-13

Language Classes Associated with Automata Over Matrix Groups

Authors: Özlem Salehi, Flavio D'Alessandro, A. C. Cem Say

Abstract: We investigate the language classes recognized by group automata over matrix groups. We present a summary of the results obtained so far together with a number of new results. We look at the computational power of time-bounded group automata where the group under consideration has polynomial growth. We investigate the language classes recognized by group automata over matrix groups. We present a summary of the results obtained so far together with a number of new results. We look at the computational power of time-bounded group automata where the group under consideration has polynomial growth. △ Less

Submitted 1 September, 2016; originally announced September 2016.

Comments: NCMA'16

Homing Vector Automata

Authors: Özlem Salehi, A. C. Cem Say, Flavio D'Alessandro

Abstract: We introduce homing vector automata, which are finite automata augmented by a vector that is multiplied at each step by a matrix determined by the current transition, and have to return the vector to its original setting in order to accept the input. The computational power and properties of deterministic, nondeterministic, blind, non-blind, real-time and one-way versions of these machines are exa… ▽ More We introduce homing vector automata, which are finite automata augmented by a vector that is multiplied at each step by a matrix determined by the current transition, and have to return the vector to its original setting in order to accept the input. The computational power and properties of deterministic, nondeterministic, blind, non-blind, real-time and one-way versions of these machines are examined and compared to various related types of automata. A generalized version of the Stern-Brocot encoding method, suitable for representing strings on arbitrary alphabets, is also developed. △ Less

Submitted 4 August, 2016; v1 submitted 30 March, 2016; originally announced March 2016.

Comments: This is the extended version of our paper homing vector automata arXiv:1504.04859

ACM Class: F.4.3; F.1.1

Journal ref: RAIRO-Theoretical Informatics and Applications 50.4 (2016): 371-386

Quantum finite automata and linear context-free languages: a decidable problem

Authors: A. Bertoni, Ch. Choffrut, F. D'Alessandro

Abstract: We consider the so-called measure once finite quantum automata model introduced by Moore and Crutchfield in 2000. We show that given a language recognized by such a device and a linear context-free language, it is recursively decidable whether or not they have a nonempty intersection. This extends a result of Blondel et al. which can be interpreted as solving the problem with the free monoid in pl… ▽ More We consider the so-called measure once finite quantum automata model introduced by Moore and Crutchfield in 2000. We show that given a language recognized by such a device and a linear context-free language, it is recursively decidable whether or not they have a nonempty intersection. This extends a result of Blondel et al. which can be interpreted as solving the problem with the free monoid in place of the family of linear context-free languages. △ Less

Submitted 12 March, 2013; originally announced March 2013.

Independent sets of words and the synchronization problem

Authors: Arturo Carpi, Flavio D'Alessandro

Abstract: The synchronization problem is investigated for the class of locally strongly transitive automata introduced in a previous work of the authors. Some extensions of this problem related to the notions of stable set and word of minimal rank of an automaton are studied. An application to synchronizing colorings of aperiodic graphs with a Hamiltonian path is also considered. The synchronization problem is investigated for the class of locally strongly transitive automata introduced in a previous work of the authors. Some extensions of this problem related to the notions of stable set and word of minimal rank of an automaton are studied. An application to synchronizing colorings of aperiodic graphs with a Hamiltonian path is also considered. △ Less

Submitted 23 November, 2011; originally announced November 2011.

MSC Class: 68Q45 ACM Class: F.4.3

On some counting problems for semi-linear sets

Authors: Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio

Abstract: Let $X$ be a subset of $\N^t$ or $\Z^t$. We can associate with $X$ a function ${\cal G}_X:\N^t\longrightarrow\N$ which returns, for every $(n_1, ..., n_t)\in \N^t$, the number ${\cal G}_X(n_1, ..., n_t)$ of all vectors $x\in X$ such that, for every $i=1,..., t, |x_{i}| \leq n_{i}$. This function is called the {\em growth function} of $X$. The main result of this paper is that the growth function… ▽ More Let $X$ be a subset of $\N^t$ or $\Z^t$. We can associate with $X$ a function ${\cal G}_X:\N^t\longrightarrow\N$ which returns, for every $(n_1, ..., n_t)\in \N^t$, the number ${\cal G}_X(n_1, ..., n_t)$ of all vectors $x\in X$ such that, for every $i=1,..., t, |x_{i}| \leq n_{i}$. This function is called the {\em growth function} of $X$. The main result of this paper is that the growth function of a semi-linear set of $\N^t$ or $\Z^t$ is a box spline. By using this result and some theorems on semi-linear sets, we give a new proof of combinatorial flavour of a well-known theorem by Dahmen and Micchelli on the counting function of a system of Diophantine linear equations. △ Less

Submitted 17 July, 2009; originally announced July 2009.

Comments: 34 pages

The Parikh functions of sparse context-free languages are quasi-polynomials

Authors: Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio

Abstract: We prove that the Parikh map of a bounded context-free language is a box spline. Moreover we prove that in this case, such a function is rational. We prove that the Parikh map of a bounded context-free language is a box spline. Moreover we prove that in this case, such a function is rational. △ Less

Submitted 4 July, 2008; originally announced July 2008.

ACM Class: F.4.3

Well quasi-orders and the shuffle closure of finite sets

Authors: Flavio D'Alessandro, Gwénaël Richomme, Stefano Varrichio

Abstract: Given a set I of word, the set of all words obtained by the shuffle of (copies of) words of I is naturally provided with a partial order. In [FS05], the authors have opened the problem of the characterization of the finite sets I such that the order is a well quasi-order . In this paper we give an answer in the case when I consists of a single word w. Given a set I of word, the set of all words obtained by the shuffle of (copies of) words of I is naturally provided with a partial order. In [FS05], the authors have opened the problem of the characterization of the finite sets I such that the order is a well quasi-order . In this paper we give an answer in the case when I consists of a single word w. △ Less

Submitted 18 July, 2006; originally announced July 2006.