Cours de Th´eorie des Langages et Automates

Cours de Th´ eorie des Langages et Automates

G.H.E. Duchamp, S´eance (2), 24 septembre 2012

gheduchamp@gmail.com (Ann´ee 2012-2013)

Plan

1. Introduction

◮ exemples parcours dans un graphe (fini et infini)

◮ selections de mots (g´en´eration, structure, ambigu¨ıt´e)

◮ le fini dans l’infini : exemple de r´eels, triadique de Cantor (si cela passe)

2. Exemples de langages (X^∗b, son code, mots sansb^k,k = 2,3, langages `a poids, s´erie g´en´eratrice `a une variable), langages de transition dans un automate

3. D´ecalages : notation fonction et somme (un peu de dualit´e sous forme de symbole d’Iverson)

4. Automates des d´ecalages (exemples finis et infinis) 5. Premiers exemples de notations rationnelles 6. D´efinition d’un automate (bool´een).

G.H.E. Duchamp, S´eance (2), 24 septembre 2012 Cours de Th´eorie des Langages et Automates

start A

B

C

D

E a

b c

b

a

c b a

b

start A

B

C

D

E a|α1

b|α2

c|α³

b|α4

a|α5

b|α⁶ c|α7

a|α8

b|α9

1

G.H.E. Duchamp, S´eance (2), 24 septembre 2012 Cours de Th´eorie des Langages et Automates