Beruflich Dokumente
Kultur Dokumente
Plan
Alphabet et langages I
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
Introduction
M.M. YEDDES
Motivation
Machines de Turing (= computers) Avant real computers (Automate tats fini, Push-down Automata, . . . ),
Introduction
M.M. YEDDES
Rappel
A={a,b,rouge}
A=cardinalit
A=3
=3
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