MPRI, Fondations mathématiques de la théorie des automates Olivier Carton, Jean-Éric Pin Partiel du 2 décembre 2013. Durée: 1h 30, notes de cours autorisées ⋆⋆⋆ Avertissement : On attachera une grande importance à la clarté, à la précision et à la concision de la rédaction. Partie 1. Étude d’un langage. Question 1. Soit A = {a, b} et soit L le langage de A∗ reconnu par l’automate A représenté ci-dessous b 1 a 2 3 b a Question 2. Vérifier que A est l’automate minimal de L. Question 3. Donner une expression rationnelle pour L. Question 4. Calculer le monoı̈de syntactique M de L. On donnera la liste des éléments et des relations permettant de définir M (vous devriez trouver 6 éléments, en comptant l’élément neutre). Question 5. Donner la liste des idempotents de M . Question 6. Déterminer la structure en D-classes de M et dessiner les diagrammes boı̂tes à œufs. Question 7. Le langage L est-il sans-étoile? Justifier votre réponse. Question 8. Soit e un idempotent d’un semigroupe S. Montrer que l’ensemble eSe = {exe | x ∈ S} est un sous-semigroupe de S, qui est en fait un monoı̈de de neutre e. Question 9. Calculer eM e pour chaque idempotent e de M . Vérifier que si e 6= 1, eM e est un monoı̈de idempotent et commutatif. Partie 2. Logique On s’intéresse au fragment FO1 [min, max, P, S, (a)a∈A ] de la logique du premier ordre sur les mots défini de la façon suivante: outre les prédicats a habituels, pour chaque lettre a ∈ A, on a aussi deux symboles de constante min et max et deux symboles de fonction P et S. Pour un mot u = a1 · · · an , le domaine d’interprétation est l’ensemble {1, ..., n}. Le symbole min est interprété par 1 et le symbole max par n. Les symboles P et S sont respectivement interprétés comme les fonctions prédecesseur et successeur. Ainsi P x = x− 1 et Sx = x+ 1. Par convention P min = min et S max = max. Enfin le fragment FO1 est celui dans lequel une seule variable est autorisée. 1 Question 10. Quel est le langage de A+ représenté par les formules suivantes: (1) ∃x aSSx (2) a min ∧ aP max Question 11. Trouver un énoncé de ce fragment définissant le langage L de la première partie. Question 12. Montrer que tout langage défini par ce fragment logique est nécessairement sans étoile. Question 13. Donner une description des langages définissables par ce fragment et justifier votre description. Question 14. (Difficile) Soit M le monoı̈de syntactique d’un langage expressible dans ce fragment. Montrer que si e est un idempotent différent de 1 de M , alors eM e est un monoı̈de idempotent et commutatif. Question 15. (Encore plus difficile) Montrer que si le monoı̈de syntactique d’un langage de A+ est apériodique et vérifie la condition de la question précédente, alors ce langage est expressible dans le fragment FO1 [min, max, P, S, (a)a∈A ]. 2 MPRI, Fondations mathématiques de la théorie des automates Olivier Carton, Jean-Éric Pin December 2, 2013. Duration: 1h 45. ⋆⋆⋆ Warning : Clearness, accuracy and concision of the writing will be rewarded. Part 1. Study of a language Question 1. Let A = {a, b} and let L be the language of A∗ recognized by the automaton A: b 1 a 2 3 b a Question 2. Verify that A is the minimal automaton of L. Question 3. Give a rational expression representing L. Question 4. Compute the syntactic monoid M of L. Give the list of elements and the defining relations of M . (Hint: you should find 6 elements, including the identity). Question 5. Give the list of all idempotents of M . Question 6. Give the D-class structure of M and draw the corresponding egg-box pictures. Question 7. Is the langage L star-free? Justify your answer. Question 8. Let e be an idempotent of a semigroup S. Show that the set eSe = {exe | x ∈ S} is a subsemigroup of S, which is in fact a monoid with identity e. Question 9. Compute eM e for each idempotent e of M . Verify that if e 6= 1, then eM e is an idempotent and commutative monoid. Partie 2. Logic We are interestested in the fragment FO1 [min, max, P, S, (a)a∈A ] of first order logic on words defined as follows: on top of the usual predicates a, for each letter a ∈ A, one also has two constant symbols min and max and two function symbols P and S. For a word u = a1 · · · an , the domain is the set {1, ..., n}. The symbol min is interpreted as 1 and the symbol max as n. The symbols P and S are respectively interpreted as the predecessor and successor functions. Thus P x = x − 1 and Sx = x + 1. By convention P min = min and S max = max. Finally the FO1 fragment is the one in which only one variable is allowed. 3 Question 10. What is the language of A+ represented by the following formulas: (1) ∃x aSSx (2) a min ∧ aP max Question 11. Find a sentence of this fragment defining the language L of the first part. Question 12. Show that every language defined by this fragment is necessarily star-free. Question 13. Give a description of the languages definable in this fragment and justify your answer. Question 14. (Difficult) Let M be the syntactic monoid of a language expressible in this fragment. Show that if e is an idempotent different from the identity of M , then eM e is an idempotent and commutative monoid. Question 15. (Even more difficult) Show that if the syntactic monoid of a language of A+ is aperiodic and satisfies the condition of the previous question, then this language is expressible in the fragment FO1 [min, max, P, S, (a)a∈A ]. 4