7 jours d'essai offerts
Cet ouvrage et des milliers d'autres sont disponibles en abonnement pour 8,99€/mois


AVERTISSEMENT



Ce document est le fruit d’un long travail approuvé par le jury de
soutenance et mis à disposition de l’ensemble de la communauté
universitaire élargie.
Il est soumis à la propriété intellectuelle de l’auteur au même titre que sa
version papier. Ceci implique une obligation de citation et de
référencement lors de l’utilisation de ce document.
D’autre part, toute contrefaçon, plagiat, reproduction illicite entraîne une
poursuite pénale.

Contact SCD INPL : scdinpl@inpl-nancy.fr




LIENS




Code de la propriété intellectuelle. Articles L 122.4
Code de la propriété intellectuelle. Articles L 335.2 – L 335.10
http://www.cfcopies.com/V2/leg/leg_droi.php
http://www.culture.gouv.fr/culture/infos-pratiques/droits/protection.htm
D´epartement de formation doctorale en informatique
Institut National ´Ecole doctorale IAEM Lorraine
Polytechnique de Lorraine
La coordination dans les grammaires
d’interaction
`THESE
pr´esent´ee et soutenue publiquement le 17 octobre 2007
pour l’obtention du
Doctorat de l’Institut National Polytechnique de Lorraine
(sp´ecialit´e informatique)
par
Joseph Le Roux
Composition du jury
Rapporteurs : Professeur Alain Lecomte, Universit´e de Paris 8
Professeur Aarne Ranta, Universit´e de G¨oteborg
Examinateurs : Professeur Denys Duchier, Universit´e d’Orl´eans
Professeur Owen Rambow, Universit´e de Columbia
´Professeur Franc¸oise Simonot-Lion, Ecole des Mines de Nancy
Professeur Guy Perrier, Nancy Universit´e (directeur de th`ese)
Laboratoire Lorrain de Recherche en Informatique et ses Applications — UMR 7503Mis

la
en
thloria.
page
avec
mo
P
Cette
t
thèse
ts
présen
mak
te
delisation
une
parsing.
mo
théorie
délisation

des



asp
also
ects

syn
disam-
taxiques

de

la


of
ordination

dans
Grammars
les
formalism.
grammaires
ossible
d'in
is

up
de
ork
Guy
to
P

errier
ol
[
automata
P
linguistics,
er03


theory
.
syn
Les
auto-
grammaires
thesis
d'in
mo

main
p
ects
ermetten
using
t
In
d'expliciter
P
la
the
v


it
des
explicitly
group

es
what

is
ts.
W
C'est
t
précisémen
this
t
enabled
sur
vide

tation
notion
dev
qu'est
our
fondée
),
notre
based
mo
tersection
délisation.
ords:
Nous
language
présen
syn
tons
dination,
égalemen
parsing,
t
d'in
tous
analyse
les
taxique,
tra
des
v
mates
aux
This
autour
presen
de
a

delisation
mo
the
délisation
syn
qui
asp
nous
of
on
ordination
t
Guy
p
errier's
ermis

d'ab
[
outir
er03
à
as
une
target
implan
In
tation
Grammars
réaliste
e
:
p
le
to
dév
dene
elopp
v
emen
This
t
precisely
du
our

delisation
Xmg
based
et
on.
son
e
utilisation
presen
p
w
our
around
l'écriture
mo
de
that
grammaires
us

pro
le
a
ltrage
implemen

:
par
grammar
in
elopmen
tersection
(using
d'automates
to
et
Xmg
l'analyse

syn
biguation
taxique.
on
Mots-clés:
in
linguistique
and

Keyw
traitemen

t
natural
automatique
pro
des
formal
langues,
tax,
syn
or-
taxe
in
formelle,
grammars,

automata
ordination,
Résumé
grammairesn'y
vironnemen
tiens
ts
mes
Je
hapitre
tiens
a
à
m'on
remercier
et
en
en
premier
de
lieu
étroitemen
mon


ec
t,
a,
Guy
duran
P
Je
errier,
t
qui
la
m'a
énormémen
toujours
dév
souten
ersonnes
u
tier,
et
et

de
duran
et
t
Je

:
quatre
.
années.
la
Il
our
m'a
haque
b
toujours
eaucoup
Gw
aidé
Guillaume
dans

mes
d'in
réexions
A
et
Bonfan
je
j'ai
lui
de
dois
haleureusemen
b
qui
eaucoup.

Je
emen
le
fait
remercie
hand,
égalemen
partie
t
(la
d'a

v
passionnan
oir

relu
saluer
a
Nancy
v
Benoît,
ec
Mathieu,
atten
que
tion
en
les
souv
v
hiv
ersions
vivre

in
es
années
de
ts

quand
do
plus.

rendre
t
iii
et
te.
d'a
t
v
j'ai
oir
des
à
Le

et
haque
en
fois
à
supp
Au
orter
do
les
é
appro
emen
ximations,

les
remercier
erreurs
les
et
v
les

fautes
:
d'orthographe.
P
Je
dév
remercie
de
égalemen
t
t
tandem
les
Mar-
rapp
s'est
orteurs,
de
Alain
t

de
te
des
et
Une
Aarne
des
Ran
éc
ta,
a
d'a
autres
v
ou
oir
donc


de
fait
s'in
le
téresser
ain,
à

mon
Dmitry
tra
Karen.
v
tous
ail
Je
et

d'a
don
v
m'a
oir
t
indiqué

a
lorrains,
v
joie
ec
unicativ
une
amitié
grande
à
rigueur
malgré
leurs
la
observ
mes
ations.
on
Je
en
v
même
eux
y
aussi
je
remercier
de
les
en
autres
du
mem
et
bres
Bonfan
du
C'est
jury
utilisan
.
leur
En
que
particulier,

je

remercie
grammaires
Den

ys


6
hier
l'annexe
qui
doiv
a
t
initié
t
le
Guillaume
tra
te.
v

ail

sur

Xmg
particip
.
au
Son
elopp
trop
t
bref
deux
passage
Je
à
à
Nancy

a
t
donné
p
lieu
a
à
ec
trois
j'ai
thèses,
oré
don
t
t
Y

k
Je
armen
remercie
le
Ow
elopp
en
t
Ram
Xmg
b
vraimen
o
été
w
en
d'a
,
v
Jonathan
oir

sp
qui
on
o
tanémen
é
t
la
joué
vraimen
le
dicile
rôle
l'algorithme
de
Earley

gestion
y
en
e
ts).
en
thèse,
installan
aussi
t
discussions
et
des
en
hanges
utilisan
ts
t
v
Xmg
les
.
do
Ses
ts

ingénieurs.
nous
tiens
on
à
t
tous
souv
qui
en
t
t
aimer
p
et
ermis
LORIA
de
Sylv
trouv
Benjamin,
er
Eric,

Laïk
et
Sébastien,
dans
,
la
Sarah,
plupart
.
des
et


de
j'oublie.

remercie

amis,
des
bas
b
Bretagne,
ogues.
t
Duran

t
si
quatre
en
ans,
manqué
j'ai
t
pu
long
apprécier
ers
la
p

leur
des
de
mem

bres
e
du
leur
pro
toujours
jet

Calligramme.

Je
visite
remercie
les
en
et
particulier

les
remercie
dév
paren
elopp
qui
eurs
t
de

leopar
moi
de
moi
pr
je
emièr

e
ais
génér
Enn,
ation
remercie
:
en
Bruno
me
Guillaume,
heureux
Sylv

ain
l'irréalité
P
réel.
ogo
Remerciemen
dallaivJesp
fo
b
of
rth
the
Still

my
I
a
w
the
anted
v
to
thought
analyze
to
have
wn
b
what
een
w
fa
to
r

from
Analytic
easy
diculties.
,
I
and
it
I
etter
do
give
not
o

attempts
to
r
have
they
alw
re
a
o
ys
than
found
shirk
the
task.
b
Otto
est
ersen,
solution
Syntax
of
Many
thevi.
.
.
able
.
des
1.2.5
matières
.
In
primitiv
tro
.

.
1
.
La
.

v
ordination
.
:
.
p
descriptions
ourquoi
.
?
en
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.1.2
.
.
.
.
.
.
.
.
.
.
.
P
.
.
.
.
.
.
.
d'arbres
.
.
.
.
.
.
.
des
.
.
.
.
1
.
2
.
La
27
mo
.
délisation
1.1.1
prop
taxe
osée
.
.
.
.
in
.
.
.
1.1.3
.
.
.
.
.
descriptions
.
.
.
.
.
15
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
raits,
.
.
.
.
.
17
.
.
.
.
.
.
.
.
2
.
2.1
.
Le
.

dèles
e
.
.
.
.
Mo
.
.
.
.
.
.
.
Mo
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
notion
.
en
.
.
.
.
.
.
.
.
.
.
.
logique
.
implicativ
.
.
.
.
.
.
.
d'in
.
.
.
.
.
.
2
.
2.2
1.2
Extension
p
.
.
.
.
.
.
.
.
.
.
.
Utilisation
.
.
.
.
.
.
.
.
.
.
.
15
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.2.3
.
aleurs
.
ts
.
.
.
.
.
.
.
.
.
Les
.
.
.
.
3
.
2.3
.
Résultats
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.3
.
in
.
.
.
.
.
.
.
.
.
25
.
saturés
.
.
.
.
.
.
.
.
.
.
.
.
.
26
.
minimaux
.
.
.
.
.
.
.
.
.
.
4
.
3
T
T
.
ra
.
v
.
aux
.
relatifs
.
à
.
l'implan
12
tation
La
.
de
.

.
syn
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
12
.
La
.
linéaire
.
tuitionniste
.
e
.
.
.
.
.
.
.
.
.
.
5
13
3.1
Grammaires
Écriture

de
es
grammaires
.

.
.
.
.
.
.
.
.
.
.
.
.
14
.
Les
.
d'arbres
.
olarisées
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
.
3.2
.
Filtrage
.

1.2.1
.
de
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.2.2
.
olarités
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6
.
3.3
.
Analyse
16
syn
T
taxique
v
.
et
.
vironnemen
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.2.4
.
descriptions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
20
6
Exemple
4
.
Plan
.
de
.
la
.
thèse
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
.
Mo
.
et
.
terprétations
.
descriptions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.3.1
.
dèles
.
.
.
.
.
.
.
.
.
.
.
.
7
.
Chapitre
.
1
.
Les
.
grammaires
.
d'in
.

.
1.1
.
Un
1.3.2
formalisme
dèles
p
.
olarisé
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
vii
.
.