Aldo de Luca passed away on October 16th, 2018. Aldo was born in Naples, Italy, the 30th of November 1941 and he obtained his Degree in Physics cum laude at the University of Naples in 1964.

Aldo’s scientific activity started in the 1960’s, during the extremely fervent intellectual period in Neapolitan scientific research. He collaborated with Eduardo Caianiello’s Cybernetic group at the Institute of Theoretical Physics at the University of Naples. His scientific formation received special impact from the school “Automata Theory” organized by Caianiello in Ravello, Italy, in 1964, with the participation of researchers as Martin Davis, Warren McCulloch, Maurice Nivat, Michael Rabin and Marcel-Paul Schützenberger. At this school, which is considered one of the landmarks in the early days of theoretical computer science in Italy, Aldo met for the first time Schützenberger, who would go on to have a strong influence on his scientific activity.

From 1967 to 1981 Aldo was a C.N.R. (National Research Council) researcher at the Institute of Cybernetics of Arco Felice. In 1972/1973, Schützenberger was visiting professor at the Institute of Cybernetics, and Aldo, under his influence, firmly moved his research to the theory of formal languages, codes and combinatorics on words.

In 1980 Aldo became full professor of algebra at the University of Naples “Federico II”, then he moved to the University of Rome “La Sapienza”, where he was full professor of computer science until 2003. At the same time, he spent some years at the Interdisciplinary center ‘B. Segre’ of the National Academy of Lincei, Italy. In 2003, he moved back to the University of Naples “Federico II”, as a full professor of computer science, then emeritus professor.

Aldo was a pioneer of theoretical computer science in Italy. He was a member of EATCS since its creation, and he was one of the promoters of the Italian Chapter of the association. He was also one of the founders of the international conference WORDS, one of the most important conferences in the area of formal languages and automata theory.

As a colorful anecdote remembering the sense of humor of Aldo and also his close frendship with Marco Schützenberger, let us quote the following one. During a conference in 1975 at the Instituto di Alta Matematica in Rome, Marco Schützenberger said in passing, to make a transition, ‘As my friend Aldo de Luca likes to say: *Parlamme e cose cchiú allere ... quant costa na cascia e muorte, dicette o schiattamuorte*’ (free translation from Neapolitan: ‘Let us talk about something more enjoyable...how much does a coffin cost, said the undertaker’).

## 1 The heritage of Aldo de Luca

Aldo has left a considerable heritage by his contribution to combinatorics on words, automata theory and semigroup theory. We have chosen, in the following lines to single out two contributions, one in combinatorics on words and the other one on finiteness conditions. They give an idea of the importance of his contribution by the difficulty of the proofs and by the significance of the results. A complete list of publications of Aldo can be found at http://www.aldodeluca.it.

## 2 Combinatorics on words

Sturmian words are easy to define. They are the infinite words on a binary alphabet \(A=\{a,b\}\) having \(n+1\) distinct factors of length *n* for every \(n\ge 0\).

*x*and are called the (finite) Fibonacci words.

Since there is one more factor of length \(n+1\) than of length *n*, a Sturmian word has for every *n* exactly one factor *u* of length *n* having two left extensions *au* and *bu*. Such a factor is called *left-special* (one defines symmetrically the right-special factors).

*x*. Indeed, this is true for \(n=0\) since

*aa*and

*ba*are factors of

*x*and next, one has

The different left-special factors of a Sturmian word are necessarily prefixes of one another. A Sturmian (infinite) word is called *standard* if its left-special factors are its prefixes (or equivalently if all its prefixes are left-special).

For example, the infinite Fibonacci word is standard. Indeed, all finite Fibonacci words are among its prefixes and thus all its prefixes are left-special.

Aldo invented the fundamental notion of *iterated palindromic closure*. It is the following transformation \({{\,\mathrm{\mathrm Pal}\,}}\) on words. For a word *w*, denote by \(w^{(+)}\) the shortest palindrome having *w* as a prefix. For example, one has \((aaba)^{(+)}=aabaa\) and \((abaa)^{(+)}=abaaba\).

Since \({{\,\mathrm{\mathrm Pal}\,}}(w)\) is a prefix of \({{\,\mathrm{\mathrm Pal}\,}}(wa)\), the map \({{\,\mathrm{\mathrm Pal}\,}}\) extends to the set \(A^\omega \) of infinite words on *A*. The following result appears in a fundamental paper by Aldo on Sturmian words [4].

### Theorem 1

(de Luca [4]) Let *A* be a binary alphabet. The map \({{\,\mathrm{\mathrm Pal}\,}}\) is a bijection from the set of words in \(A^\omega \) with an infinite number of occurrences of each letter onto the set of standard Sturmian words.

The word \(y\in A^\omega \) is called the *directive word* of \({{\,\mathrm{\mathrm Pal}\,}}(y)\). For example, the word \(y=(ab)^\omega \) is the directive word of the Fibonacci infinite word. Theorem 1 is closely related to another important statement, known as Justin’s Formula stated in (1) below.

*x*is the Fibonacci infinite word.

The beauty of all this is that it carries on to larger alphabets, as shown by Droubay, Justin and Pirillo in [13]. Indeed, a generalization of Sturmian words can be defined on arbitrary finite alphabets as follows. An infinite word *x* on the alphabet *A* is called *episturmian* if its set of factors is closed under reversal and if, for each \(n\ge 1\), there is exactly one left-special factor *u* of length *n*, that is, with more than one extension *au* for \(a\in A\) which is a factor of *x*.

Like for Stumian words, an episturmian word is *standard* if its left-special factors are its prefixes.

An episturmian word *x* is *strict* if the unique left-special factor *u* of length *n* of *x* is for every *n* such that *au* is a factor of *x* for every \(a\in A\).

For example, the Tribonacci word is strict. Strict episturmian words are also called ’Arnoux-Rauzy’ words after the initial paper of Arnoux and Rauzy [1]. As a complement to Theorem 1, the word \({{\,\mathrm{\mathrm Pal}\,}}(y)\) is a strict episturmian word if every letter appears infinitely often in *y* [13].

The authors of [13] give due credit to Aldo by calling *Al* the following condition for an infinite word *x*: if *v* is a prefix of *x*, then \(v^{(+)}\) is also a prefix of *x*. It is clear that an infinite word satisfies *Al* if and only if \(x={{\,\mathrm{\mathrm Pal}\,}}(y)\) for some \(y\in A^\omega \) and thus if and only if it is episturmian.

A formulation of Theorem 1 in terms of finite words has been given by Aldo by using the notion of *central* word.

Central words are closely related to finite *standard* words, that are the basic bricks for constructing standard Sturmiam words, in the sense that every standard Sturmian word is the limit of a sequence of finite standard words (see [17]). For instance, the finite Fibonacci words are standard. Finite standard words can be defined directly as the words appearing in the pairs (*u*, *v*) obtained starting with (*a*, *b*) and applying iteratively one of the so-called *Rauzy rules*

A finite word *w* over the alphabet \(\{a,b\}\) is central if *wab* (or equivalently *wba*) is a standard word. In [4], Aldo also proved that *the map *\({{\,\mathrm{\mathrm Pal}\,}}\)* is a bijection from *\(\{a,b\}^*\)* onto the set of central words*.

In relation with this result (and thus also with Theorem 1), a very deep connection between palindromes and *periods* in finite words was discovered by Aldo and Filippo Mignosi in [6]. They proved that *a word w in *\(\{a,b\}^*\)* is central if and only if, for some relatively prime natural numbers **p*, *q* , *w**has two periods **p** and **q** and is of length *\(|w| = p+q-2\). This also shows that central words correspond to the extremal case of the famous Fine and Wilf periodicity lemma (see [16]).

Aldo’s work on Sturmian words has recently been put in perspective in the very nice book of Christophe Reutenauer [20], where its connections with number theory (in particular with continued fractions) are presented.

## 3 Finiteness conditions

One of the important contributions of Aldo de Luca concerns finiteness conditions in semigroups. He published in 1998 a monograph on this subject with his former student Stefano Varricchio [8], which contains many of their contributions in this area (Stefano Varrichio died in 2008, see his obituary by Aldo [5]).

One of the main results that they obtained is the solution of a conjecture formulated many years before by John Brzozowski [2]. Consider, for some \(n\ge 1\), the congruence \(\sim _n\) on the free monoid generated by the pairs \((x^{n+1},x^n)\). The conjecture of Brzozowski is that the classes of this congruence are regular.

The monoid \(M_n(A)=A^*/\sim _n\) is of interest in automata and semigroup theory because any aperiodic monoid (that is a finite monoid with no nontrivial subgroup) is an image of some \(M_n(A)\).

The more general problem of the congruence generated by the pairs \((x^{n+m},x^n)\) for \(n,m\ge 1\) was also studied. The corresponding quotient \(M_{n,m}(A)\) is called the *Burnside monoid*. In particular, the Burnside group satisfying the identity \(x^m=1\) on two generators was shown to be infinite for *m* large enough by Novikov and Adjan (1968).

The case \(n=1\) corresponds to free idempotent monoids. It was solved long ago by Green and Rees (see [16]). In this case, the monoid is finite. On the contrary, the monoid \(M_n(A)\) is infinite for \(n\ge 2\) on at least two letters. Indeed, if \({{\,\mathrm{\mathrm Card}\,}}(A)\ge 3\), this follows from the existence of infinite square-free words on three letters. For \({{\,\mathrm{\mathrm Card}\,}}(A)=2\), the fact that \(M_n(A)\) is infinite is shown in [3].

The conjecture of Brzozowski was solved positively in 1992 for \(n\ge 5\) by Aldo de Luca and Stefano Varricchio (it was announced at ICALP 1990 [7] and published in [9]). An independent proof for \(n\ge 6\) appeared in [18]. The result was extended to \(n\ge 4\) by Pereira do Lago (again announced at LATIN 1992 [10] and published in [11]) using the technique of proof of Aldo and Stefano. Finally, Victor Guba, extending McCammond’s technique of proof, proved it for \(n\ge 3\) [14, 15]. The case \(n=2\) is still open (although partial results are known [19]).

Let us try to give an idea of the problems involved, of their difficulty, and of the path followed by Aldo and Stefano. What follows is strongly inspired by the expositions made by Jean-François Rey [21] and by Alair Pereira do Lago himself with Imre Simon [12].

Consider for \(n=2\) the two possible derivations from the word \(w=(abcbcb)^3c=(abcbcb)^2a(bc)^3\) of length 19, leading to a critical pair of irreducible words of words of lengths 13 and 17 (see Fig. 1).

A crucial observation is that the new production is of the form \(\ell \rightarrow s\) where *s* is a border of \(\ell \), that is both a prefix and a suffix of \(\ell \). Note that this is also true of the productions of \(\pi \).

*tour de force*realized by Aldo de Luca and Stefano Varrichio is to replace the system \(\pi \) by an equivalent confluent system \(\Sigma \) whose productions are of the form

*short*part) is a border of \(\ell _\sigma \) (the

*long*part). Denote by \(\Omega \) the set of productions \(\sigma \) of this form.

We introduce a partial order on \(\Omega \) defining \(\sigma \preceq \tau \) if \({ l}_\tau =u{ l}_\sigma v\) and \(s_\tau =us_\sigma v\).

The production \(\sigma \in \Omega \) is *stable* if the period \({{\,\mathrm{\mathrm per}\,}}(s_\sigma )\) of \(s_\sigma \) is equal to \(|l_\sigma |-|s_\sigma |\). In particular, the production \(x^{n+1}\rightarrow x^n\) is stable if and only if *x* is primitive. A set \(X\subset \Omega \) is stable if every element of *X* is stable.

The construction of \(\Sigma \) goes through the following steps. The *overlap* of two words *u*, *v*, denoted \({{\,\mathrm{\mathrm over}\,}}(u,v)\) is the longest suffix of *u* which is a prefix of *v*.

*right cut*of \(\tau \) by \(\sigma \). One defines symmetrically the left cut of \(\tau \) by \(\sigma \). For a subset

*X*of \(\Omega \), we denote by \({\mathcal {S}}(X)\) the closure of

*X*by left and right cuts.

We then define recursively the set \(\Sigma =\cup _{i\ge 1}\Sigma _i\) as follows. Set \(\pi _0=\pi '_0=\Sigma _0=\Sigma '_=\emptyset \). For \(i\ge 1\), let \(\pi _i=\{x^{n+1}\rightarrow x^n\mid x\in A^i\}\). Let \(\pi '_i\) be the set of productions \(\tau \in \pi _i\) such that \(\tau \) is stable and for every \(\sigma \in \Sigma _{i-1}\), \(\ell _\sigma \) is not a factor of \(\ell _\tau \). Let \(\Sigma '_i={\mathcal {S}}(\pi '_i\cup \Sigma _{i-1})\) and let \(\Sigma _i\) be the set of productions in \(\Sigma '_i\) which are minimal for the order \(\preceq \).

The following result is called in [7] the Equivalence Theorem.

### Theorem 2

(de Luca, Varricchio, 1990) The systems \(\pi \) and \(\Sigma \) generate the same congruence.

The importance of the property of being stable has been discovered by Alair Pereira do Lago, who, buiding on the work of Aldo de Luca and Stefano Varricchio, has shown the following result.

A monoid *M* is finite \({\mathcal {J}}\)-above if for every element \(m\in M\) the set of \(n\in M\) such that \(m\le _{\mathcal {J}}n\) (that is such that \(m\in MnM\)) is finite.

### Theorem 3

Assume that \(\Sigma \) is stable. Then it is confluent, the monoid \(M_n(A)\) is finite \({\mathcal {J}}\)-above and each congruence class is recognizable.

The paper of Alair Pereira contains actually a fairly complete description of the monoid \(M_n(A)\) and in particular of the structure of its Green classes, extending early unpublished work of Imre Simon (see [12]).

## Notes

### Acknowledgements

The authors wish to thank Christian Choffrut, Jean-Eric Pin, Christophe Reutenauer and Jacques Sakarovitch for their comments on a preliminary version of this paper.

## References

- 1.Arnoux, P., Rauzy, G.: Représentation géométrique de suites de complexité \(2n+1\). Bull. Soc. Math. France
**119**(2), 199–215 (1991)MathSciNetCrossRefzbMATHGoogle Scholar - 2.Brzozowski, J.: Open problems about regular languages. In Ronald, V. (eds.) Formal Language Theory. Perspectives and Open Problems (Proceedings of a Symposium held in Santa Barbara, California, December 10–14, 1979), pp. 23 – 47. Academic Press, New York Etc., A Subsidiary of Harcourt Brace Jovanovich, Publishers. XIII, 454 p (1980)Google Scholar
- 3.Brzozowski, J., Culik, K., Gabrielan, A.: Classification of noncounting events. J. Comput. Syst. Sci.
**5**, 41–53 (1971)MathSciNetCrossRefzbMATHGoogle Scholar - 4.de Luca, A.: Sturmian words: structure, combinatorics, and their arithmetics. Theor. Comput. Sci.
**183**(1), 45–82 (1997)MathSciNetCrossRefzbMATHGoogle Scholar - 5.de Luca, A.: Stefano Varricchio (1960–2008). Semigroup Forum
**80**(1), 1–7 (2010)MathSciNetCrossRefzbMATHGoogle Scholar - 6.de Luca, A., Mignosi, F.: Some combinatorial properties of sturmian words. Theor. Comput. Sci.
**136**(2), 361–385 (1994)MathSciNetCrossRefzbMATHGoogle Scholar - 7.de Luca, A., Varricchio, S.: On non-counting regular classes. In: Paterson, M.S. (ed.) Automata, Languages and Programming, Volume 443 of Lecture Notes in Computer Science, pp. 74–87. Springer, Berlin Heidelberg (1990)Google Scholar
- 8.de Luca, A., Varricchio, S.: Finiteness and Regularity in Semigroups and Formal Languages. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin (1999)Google Scholar
- 9.De Luca, A., Varricchio, S.: On noncounting regular classes. Theor. Comput. Sci.
**100**(1), 67–104 (1992)MathSciNetCrossRefzbMATHGoogle Scholar - 10.Do Lago, A.P.: On the Burnside semigroups \(x^{n}= x^{n+m}\). In: Simon, I. (ed) LATIN ’92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6–10, 1992, Proceedings, volume 583 of Lecture Notes in Computer Science, pp. 329–343. Springer, Berlin (1992)Google Scholar
- 11.Do Lago, A.P.: On the Burnside semigroups \(x^n = x^{n+m}\). Internat. J. Algebra Comput.
**6**(2), 179–227 (1996)MathSciNetCrossRefzbMATHGoogle Scholar - 12.Do Lago, A.P., Simon, I.: Free Burnside semigroups. RAIRO Theor. Inform. Appl.
**35**(6), 579–595 (2001)MathSciNetCrossRefzbMATHGoogle Scholar - 13.Droubay, X., Justin, J., Pirillo, G.: Episturmian words and some constructions of de Luca and Rauzy. Theoret. Comput. Sci.
**255**(1–2), 539–553 (2001)MathSciNetCrossRefzbMATHGoogle Scholar - 14.Guba, V.S.: The word problem for the relatively free semigroup satisfying \(t^m=t^{m+n}\) with \(m\ge \)3. Internat J. Algebra Comput.
**3**(3), 335–348 (1993)MathSciNetCrossRefzbMATHGoogle Scholar - 15.Guba, V.S.: The word problem for the relatively free semigroup satisfying \(t^m=t^{m+n}\) with \(m\ge 4\) or \(m=3, n=1\). Internat J. Algebra Comput.
**3**(2), 125–140 (1993)MathSciNetCrossRefzbMATHGoogle Scholar - 16.Lothaire, M.: Combinatorics on Words. Cambridge Mathematical Library. Cambridge University Press, Cambridge (1997)CrossRefzbMATHGoogle Scholar
- 17.Lothaire, M.: Algebraic Combinatorics on Words. Cambridge University Press, Cambridge (2002)CrossRefzbMATHGoogle Scholar
- 18.McCammond, J.: The solution to the word problem for the relatively free semigroups satisfying \(t^a = t^{a+b}\) with \(a\ge 6\). Internat J. Algebra Comput.
**1**, 1–32 (1991)MathSciNetCrossRefzbMATHGoogle Scholar - 19.Plyushchenko, A.N., Shur, A.M.: Almost overlap-free words and the word problem for the free burnside semigroup satisfying \(x^2= x^3\). Internat J. Algebra Comput.
**21**(6), 973–1006 (2011)MathSciNetCrossRefzbMATHGoogle Scholar - 20.Reutenauer, Christophe: From Christoffel Words to Markoff Numbers. Oxford University Press, Oxford (2019)zbMATHGoogle Scholar
- 21.Rey, J.-F.: Burnside monoids word problem and the conjecture of Brzozowski. In: Comon, H., Jouannaud, J.-P. (eds.) Term Rewriting (Font Romeux, 1993), Volume of Lecture Notes in Computer Science, vol. 909, pp. 214–221. Springer, Berlin (1995)Google Scholar