Automates avanc´es – Master 1 Informatique TD 5 : Langages alg´ebriques
Texte intégral
Documents relatifs
Montrez que w est r´ecurrent si, et seulement si, tout sous-mot de w apparaˆıt au moins deux fois dans w.. Un mot infini w est dit invariant par miroir si pour tout sous-mot u de
Construire l’expression r´eguli`ere et l’automate de B¨ uchi pour les langages suivants sur l’alphabet Σ = {a, b, c}
Construire l’expression r´eguli`ere et l’automate de B¨ uchi pour les langages suivants sur l’alphabet Σ = {a, b, c}
Vous pouvez
Pour chacun des automates dessin´ es ci-dessous, donnez une expression rationnelle d´ ecrivant le langage reconnu par l’automate (pour cet exercice, nous vous demandons de
Pour montrer que K n’est pas r´ egulier, on pourra admettre l’existence de mots sans carr´ e arbitrairement longs sur l’alphabet {a, b, c}.. Exercice
Donner les grammaires lin´ eaires droite correspondant aux langages rationnels suivants : (a) Les mots sur {a, b} contenant un nombre impair de a.. (b) Les mots sur {a, b} o` u
` A partir de l’automate pr´ ec´ edent, donner une grammiare alg´ ebrique