7 citations · 13 across the 9 of their papers we have counts for
12 papers
Unboundedness problems for machines with reversal-bounded counters
Pascal Baumann, Flavio D'Alessandro, Moses Ganardi +4
We consider a general class of decision problems concerning formal languages, called ``(one-dimensional) unboundedness predicates'', for automata that feature reversal-bounded coun…
Language Classes Associated With Automata Over Matrix Groups
Özlem Salehi, Flavio D'Alessandro, A. C. Cem Say
We investigate the language classes recognized by group automata over matrix groups. For the case of matrices, we prove that the corresponding group automata for rati…
On incomplete and synchronizing finite sets
Arturo Carpi, Flavio D'Alessandro
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 theoret…
On Finite-Index Indexed Grammars and Their Restrictions
Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan
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 sem…
Language Classes Associated with Automata Over Matrix Groups
Özlem Salehi, Flavio D'Alessandro, A. C. Cem Say
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 l…
Homing Vector Automata
Özlem Salehi, A. C. Cem Say, Flavio D'Alessandro
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 r…