Automates avanc´es – Master 1 Informatique TD 5 : Langages alg´ebriques et automates `a pile (suite)
Texte intégral
Documents relatifs
Donnez une grammaire alg´ebrique G (muni d’une variable S) tel que L G (S) soit le langage dont chaque mot repr´esente une addition correcte de deux suites de
Les mots sur {a, b} contenant un nombre impair de
Construire des automates ` a piles reconnaissant chacun des langages suivant, et pr´ecisez dans chacun des cas le mode d’acceptation pour lequel vous avez opt´e
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}
Donnez l’automata sur l’alphabet sur l’alphabet A = {a, b, c} ayant un nombre pair de a et de b et un nombre impair de
Construire l’expression r´eguli`ere et l’automate de B¨ uchi pour les langages suivants sur l’alphabet Σ = {a, b, c}
Vous pouvez