Vous êtes sur la page 1sur 10

Thorie des Langages et des Automates (TLA)

M. M. Yeddes (Moez.Yeddes@ensi.rnu.tn) Bureau 208 II 1 Groupe B. Examen + CC. CC= DS+homeworks+Tests.

Anne universitaire 2004-2005 (deuxime semestre) ENSI II1

Plan

Introduction Les langages contexte libre III

Alphabet et langages I

Automates tats finis II

Machines de Turing V
Introduction M.M. YEDDES

Automates Piles IV

Introduction

1. J. E. Hopcroft, R. Motwani, and J. D. Ullman Introduction to Automata Theory, Languages, and Computation, Second Edition, Addison-Wesley, New York, 2001.

2. H.R. Levis, C. H. Papadimitrieu. Elements of the theory of computation. Prentice Hall. 2001

3. D. Cohen. Introduction to Computer theory. Edition Wiley.

Introduction

M.M. YEDDES

Motivation

Automate = Abstraction de la thorie de calcul

Machines de Turing (= computers) Avant real computers (Automate tats fini, Push-down Automata, . . . ),

Spcification : Grammaires et expressions rgulires.

Algorithme et Machine de Turing

Introduction

M.M. YEDDES

Rappel

A={a,b,rouge}

A=cardinalit

A=3

=3

Sous ensemble de A={A,,{a}{b}{rouge},...} A , ,

, , Sous ensemble propre de A={A,,{a}{b}{rouge},...} A


A est fini si sa cardinalit est finie Un ensemble est infinie dnombrable sil existe une bijection entre A et N. Un ensemble est dit non dnombrable sil nest pas dnombrable. (Infinie et pas de bijection avec N) Exemple : IR est non dnombrable.
Introduction M.M. YEDDES

Rappel (rcurrence)

Preuve de lhypothse S(X) pour une famille dobjets X (entiers, arbres) en deux parties :

1. Base: Prouver pour une ou plusieurs petites valeurs de X directement. 2. Rcurrence : Supposer S(Y) Pour Y plus petit que X ; prouver S(X) en utilisant cette hypothse.

Introduction

M.M. YEDDES

Rappel (rcurrence)

Exemple 1 : Montrer que quelque soit n un entier on a : 1+2++n= n(n+1)/2. Exemple 2 : Monter quun arbre binaire de n feuilles possde 2n-1 nuds. Formellement , S(T): Si T est un arbre binaire de n feuilles, alors il possde 2n-1 nud. Induction : Taille de larbre = Nombre de nuds de T.

Introduction

M.M. YEDDES

Rappel (rcurrence)

Base : Si T possde 1 feuille, donc cest un arbre a un seul nud. OK Rcurrence : Supposons que lhypothse est vraie pour tous les arbres avec un nombre de nud infrieur T. En particulier pour les sous arbres de T. T est un nud plus deux sous arbres U et V. Si U et V possdent respectivement u et v feuilles et T possde t feuilles. Alors t=u+v. Par hypothse de rcurrence, U et V possde respectivement 2v-1 et 2u-1 nuds. Alors T possde 1+(2u-1)+(2v-1) = 2u+2v-1=2t-1. OK

Introduction

M.M. YEDDES

Rappel (rcurrence)

IF and only IF preuve : X if and only if Y 1. Preuve de la partie iF : Supposer Y et prouver X. 2. Preuve de la partie only-iF : Supposer X et prouver Y. Rappel :
Les deux parties de if and only-if sont converses Si on dit if X then Y rien n est dit sur Y lorsque X est faux. Forme quivalente de if X then Y est if not Y then not X .

Introduction

M.M. YEDDES

Rappel (rcurrence)

10

quivalence densembles : Plusieurs faits dans la thorie des langages sont de la forme quivalence entre deux ensembles dcrits de deux manires diffrentes. Pour prouver que S et T sont les mmes, prouver: x appartient S si et seulement si x appartient T. Autrement : Assume x dans S; prouver que x dans T . Assume x dans T ; prouver x dans S.

Introduction

M.M. YEDDES