Recherche d’un Recherche d’un
ensemble fini de mots
ensemble fini de mots
Le problème Le problème
! ! " " # #
$ $ % %
& '
& ' ' ' ' ' '(' '(' '( '( ) ) ) ) ) ) (' (' ! ! ' ' % %
Construction de
Construction de T T ( ( X X ) )
* +
* + , , - -
, , - - , , δ δ - - . . , , - -
ε ε
+ + ∈ ∈ , , - - ∈ ∈
δ δ , , - - ∈ ∈ , , - -
δ δ , , - - % %
Exemple Exemple
gtagct
gtagct tag tag agct agct ctagt ctagt " "
ε g gt gta gtag gtagc gtagc
t ta tag
a ag agc agct
c ct cta ctag ctagt
g g
g
g
g
t t
t
t
t t
a
a a
a
c
c c
Suite de la construction Suite de la construction
* * / /
. . , , - - " " ∈ ∈
* * . . δ δ , , ε ε - - ε ε + + ∈ ∈ ∉ ∉ , , - -
* * / / ++ ++ . .
, , - - 0 0 + + $ $ # + + # + + ++ ++ / / , , - -
* +
* + 1 1 . . , , - -
, , - - , , - - ∪ ∪ , , - -
Exemple Exemple
gtagct
gtagct tag tag agct agct ctagt ctagt " "
ε g gt gta gtag gtagc gtagct
t ta tag
a ag agc agct
c ct cta ctag ctagt
g g
g
g
g
t t
t
t
t t
a
a a
a
c
c c
Exemple Exemple
gtagct
gtagct tag tag agct agct ctagt ctagt " "
ε g gt gta gtag gtagc gtagct
t ta tag
a ag agc agct
c ct cta ctag ctagt
g g
g
g
g
t t
t
t
t t
a
a a
a
c
c c
Exemple Exemple
gtagct
gtagct tag tag agct agct ctagt ctagt " "
ε g gt gta gtag gtagc gtagct
t ta tag
a ag agc agct
c ct cta ctag ctagt
g g
g
g
g
t t
t
t
t t
a
a a
a
c
c c
tag
tag
Exemple Exemple
gtagct
gtagct tag tag agct agct ctagt ctagt " "
ε g gt gta gtag gtagc gtagct
t ta tag
a ag agc agct
c ct cta ctag ctagt
g g
g
g
g
t t
t
t
t t
a
a a
a
c
c c
tag
tag
Exemple Exemple
gtagct
gtagct tag tag agct agct ctagt ctagt " "
ε g gt gta gtag gtagc gtagct
t ta tag
a ag agc agct
c ct cta ctag ctagt
g g
g
g
g
t t
t
t
t t
a
a a
a
c
c c
tag
tag
agct
++ ++
+ + $
+ + $
, , - - % %
algo algo 2 3 2 3 ! ! 45 45 , , - -
pour pour ∈ ∈ faire faire δ, δ , - - 6 6
pour pour 6 6 à à ! ! faire faire 37 3 ,
37 3 , 8 8 9 9 - - 5*: 2 3 3 ,
5*: 2 3 3 , - - retourner
retourner
algo algo 37 37 3 , 3 , - - 6 6
tantque
tantque ;' ;' ' ' δ δ , , 8 8 9- 9- faire faire 6 6 δ δ , , 8 8 9- 9-
6 6 ( ( tantque
tantque ;' ;' ' ' faire faire
δ δ , , 8 8 9- 9- 6 6 6 6
6 6 ( (
, , - - 6 6 " "
algoalgo 5*: 2 3 3 ,5*: 2 3 3 , -- 66
66 ,, -- <<
tantque
tantque fairefaire ,, --662 3: =3 ,2 3: =3 ,--
66 & =>47 ,& =>47 , 37?= 3 ,
37?= 3 , -- ,, --66
tantque
tantque fairefaire 66 @3?= 3 ,@3?= 3 , --
66 ,, --
tantque
tantque fairefaire ,, --662 3: =3 ,2 3: =3 ,-- 66 & =>47 ,& =>47 ,
37?= 3 , 37?= 3 , --
66
tantque
tantque δ,δ, -- fairefaire 66 ,, --
,, --66 δ,δ, --
,, --66 ,, -- ∪∪ ,, ,, ----