Dénombrabilité, mot et langage - Intelligence Artificielle et Systèmes
Syst`emes Formels
Utilisations pratiques
Sp´ecification des langages de programmation,
Compilation, analyseur syntaxique,
Recherche de motifs (texte, BD, web, etc.),
les TALN
Syst`emes d’exploitation,
Compression de texte,
Cryptographie,
Automatique,
etc.
Syst`emes Formels
Questions fondamentales – et pratiques !
Sp´ecification de programmes :
S´emantique d’un programme
V´erification de programmes :
Correction du programme
Complexit´e :
Temps, espace pour ex´ecuter le calcul
Calculabilit´e :
Que peut-on calculer `a l’aide d’un algorithme ?
Quels probl`emes peut-on r´esoudre avec un ordinateur ?
Mot : r´eponse possible `a un probl`eme
Langage : ensemble des r´eponses positives au probl`eme
Mod`ele de calcul : programme qui ”calcule” le langage
automate, machine de Turing, automate cellulaire,
lambda-calcul, fonction r´ecursive, etc.
Syst`emes Formels
Questions fondamentales – et pratiques !
Sp´ecification de programmes :
S´emantique d’un programme
V´erification de programmes :
Correction du programme
Complexit´e :
Temps, espace pour ex´ecuter le calcul
Calculabilit´e :
Que peut-on calculer `a l’aide d’un algorithme ?
Quels probl`emes peut-on r´esoudre avec un ordinateur ?
Mot : r´eponse possible `a un probl`eme
Langage : ensemble des r´eponses positives au probl`eme
Mod`ele de calcul : programme qui ”calcule” le langage
automate, machine de Turing, automate cellulaire,
lambda-calcul, fonction r´ecursive, etc.
D´enombrabilit´e, mot et langage
Intelligence Artificielle et Syst`emes Formels
Master 1 I2L
S´
ebastien Verel
[email protected]ral.fr
http://www-lisic.univ-littoral.fr/∼verel
Universit´e du Littoral Cˆote d’Opale
Laboratoire LISIC
Equipe CAMOME
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
1
/
48
100%
