next up previous contents
Next: Blackboard Up: No Title Previous: References

Annexes

Exécution sur l'exemple hermann88a   Cette annexe représente les sortie standard et d'erreur du système sur la référence hermann88a. Cette exécution est commentée dans le paragraphe 4.3.2, page [*]. Les lignes commençant par I, S et E sont des objets du Blackboard.

Chaque cycle commence par une ligne de tirets, montre la trace de l'exécution des agents, puis l'état du Blackboard. Après quoi on trouve une ligne de tirets terminée par le numéro du cycle et la synthèse du cycle. Cette synthèse comprend :

Script started on Mon Oct 20 19:01:11 1997
poirel =19970402.rc 51 % nice +19 /users/ecriture/parmenti/=dev/=c++/=ida-refs/
                         essai2 logique.rc /local/poirel/=refs/hermann88a.ref
Buffer:"<Times-Roman>M. Hermann. Vademecum of divergent term rewriting systems. In
</Times-Roman><Times-Italic>Proceedings BCS-FACS Term Rewriting Workshop</Times-Italic
><Times-Roman>, Bristol (UK), September 1988.</Times-Roman>"
Ajout des agents.
 Les methodes ont ete declarees.
- Idle Maximal: 9
- Temperature : 100
- Activation minimale:  50
- Pourcentage d'agents a executer:      40
- Cycle       : 0
----------
 Initialisation terminee.
I: 85 S:  0 E: 85  "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
                    systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
                    Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
                    September 1988.</Times-Roman>" (champ:doc) - 0+0/0
-------------- 1
Cycle:         1
Idle:          0
Temperature:   85
Fini:          0
        DS      0       (0)
        DC      0       (0)
        DI      0       (0)
        DZ      0       (0)
        AR      0       (0)
Reservoir:     0
Noeuds actifs: 5
----------
Separateur repere: "sep:author-title:. "
Separateur repere: "sep:-author:<Times-Roman>"
I: 95 S:  8 E: 87  "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
                    systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
                    Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
                    September 1988.</Times-Roman>" (champ:doc) - 0+0/4
I: 60 S: 74 E: 15  ". " (sep:author-title:. ) - 14+15/0 <- champ:doc
I: 60 S: 90 E:  6  ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S: 70 E: 18  ". " (sep:author-title:. ) - 70+71/0 <- champ:doc
I: 60 S:100 E:  0  "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0
                   <- champ:doc
-------------- 2
Cycle:         2
Idle:          0
Temperature:   31
Fini:          4
        DS      4       (2)
        DC      0       (0)
        DI      0       (0)
        DZ      0       (0)
        AR      0       (0)
Reservoir:     0
Noeuds actifs: 9
----------
Champ:doc       NbApp:908       NbOcc:908
Champ:address   NbApp:381       NbOcc:381
Champ:author    NbApp:900       NbOcc:900
Champ:a NbApp:1794      NbOcc:900
Champ:booktitle NbApp:403       NbOcc:403
Champ:bw        NbApp:3335      NbOcc:403
Champ:category  NbApp:6 NbOcc:6
Champ:chapter   NbApp:22        NbOcc:22
Champ:cmot      NbApp:119       NbOcc:22
Champ:editor    NbApp:78        NbOcc:78
Champ:e NbApp:120       NbOcc:78
Champ:howpublished      NbApp:31        NbOcc:31
Champ:institution       NbApp:55        NbOcc:55
Champ:journal   NbApp:287       NbOcc:287
Champ:jw        NbApp:1246      NbOcc:287
Champ:key       NbApp:6 NbOcc:6
Champ:keywords  NbApp:555       NbOcc:555
Champ:k NbApp:2349      NbOcc:555
Champ:month     NbApp:257       NbOcc:257
Champ:mw        NbApp:319       NbOcc:257
Champ:note      NbApp:17        NbOcc:17
Champ:number    NbApp:195       NbOcc:195
Champ:organization      NbApp:22        NbOcc:22
Champ:pages     NbApp:574       NbOcc:574
Champ:publisher NbApp:154       NbOcc:154
Champ:pub       NbApp:386       NbOcc:154
Champ:ref       NbApp:908       NbOcc:908
Champ:school    NbApp:40        NbOcc:40
Champ:sw        NbApp:162       NbOcc:40
Champ:series    NbApp:2 NbOcc:2
Champ:title     NbApp:907       NbOcc:907
Champ:mot       NbApp:7624      NbOcc:907
Champ:type      NbApp:40        NbOcc:40
Champ:tw        NbApp:109       NbOcc:40
Champ:volume    NbApp:308       NbOcc:308
Champ:year      NbApp:906       NbOcc:906
On ne copie pas: ". " (sep:author-title:. ) dans (champ:author)
        Ajout d'un champ:author "M. Hermann" a champ:doc
On a construit 1 champ  "champ:author".
I:100 S: 10 E: 90  "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
                    systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
                    Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
                    September 1988.</Times-Roman>" (champ:doc) - 0+0/4
I: 60 S: 90 E:  6  ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S: 70 E: 18  ". " (sep:author-title:. ) - 70+71/0 <- champ:doc
I: 60 S:100 E:  0  "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0  <- champ:doc
I: 89 S: 70 E: 26  "M. Hermann" (champ:author) - 13+22/0 <- champ:doc
-------------- 3
Cycle:         3
Idle:          0
Temperature:   34
Fini:          3
        DS      1       (0)
        DC      2       (1)
        DI      0       (0)
        DZ      0       (0)
        AR      0       (0)
Reservoir:     3
Noeuds actifs: 23
----------
Separateur repere: "sep:journal-volume:</Times-Italic><Times-Roman>, "
Separateur repere: "sep:title-booktitle:. In </Times-Roman><Times-Italic>"
Separateur repere: "sep:month-year: "
I:100 S: 34 E: 66  "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
                    systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
                    Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
                    September 1988.</Times-Roman>" (champ:doc) - 0+0/9
I: 60 S: 90 E:  6  ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S:100 E:  0  "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 89 S: 70 E: 26  "M. Hermann" (champ:author) - 13+22/0 <- champ:doc
I: 60 S: 79 E: 12  "</Times-Italic><Times-Roman>, " (sep:journal-volume:
                    </Times-Italic><Times-Roman>, ) - 147+176/0 <- champ:doc
I: 60 S: 83 E: 10  ". In </Times-Roman><Times-Italic>"
                   (sep:title-booktitle:. In </Times-Roman><Times-Italic>) -
                   70+102/0 <- champ:doc
I: 60 S: 70 E: 18  " " (sep:month-year: ) - 138+138/0 <- champ:doc
I: 60 S: 74 E: 15  " " (sep:month-year: ) - 184+184/0 <- champ:doc
I: 60 S: 74 E: 15  " " (sep:month-year: ) - 190+190/0 <- champ:doc
I: 60 S: 94 E:  3  " " (sep:month-year: ) - 200+200/0 <- champ:doc
-------------- 4
Cycle:         4
Idle:          0
Temperature:   20
Fini:          9
        DS      8       (3)
        DC      1       (0)
        DI      0       (0)
        DZ      0       (0)
        AR      0       (0)
Reservoir:     0
Noeuds actifs: 895
----------
On a trouve 1 instance(s) de "year:1986"
Separateur repere: "sep:pages-year:, "
Separateur repere: "sep:pages-address:, "
On a trouve 2 instance(s) de "year:1988"
On a trouve 1 instance(s) de "key:iso"
        Ajout d'un champ:title "Vademecum of divergent term rewriting systems"
        a champ:doc
On a construit 1 champ  "champ:title".
On a trouve 1 instance(s) de "year:1987"
I:100 S: 50 E: 50  "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
                    systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
                    Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
                    September 1988.</Times-Roman>" (champ:doc) - 0+0/12
I: 60 S: 90 E:  6  ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S:100 E:  0  "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 89 S: 70 E: 26  "M. Hermann" (champ:author) - 13+22/0 <- champ:doc
I: 60 S: 79 E: 12  "</Times-Italic><Times-Roman>, "
                   (sep:journal-volume:</Times-Italic><Times-Roman>, )
                   - 147+176/0 <- champ:doc
I: 60 S: 83 E: 10  ". In </Times-Roman><Times-Italic>"
                   (sep:title-booktitle:. In </Times-Roman><Times-Italic>)
                    - 70+102/0 <- champ:doc
I: 60 S: 70 E: 18  " " (sep:month-year: ) - 138+138/0 <- champ:doc
I: 60 S: 74 E: 15  " " (sep:month-year: ) - 184+184/0 <- champ:doc
I: 60 S: 94 E:  3  " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 60 S: 92 E:  4  ", " (sep:pages-address:, ) - 189+190/0 <- champ:doc
I: 90 S: 91 E:  8  "1988" (champ:year) - 201+204/1 <- champ:doc
I:  1 S: 63 E:  0  "isto" (champ:key) - 179+182/1 <- champ:doc
I:100 S: 63 E: 37  "isto" (key:iso) - 0+3/0 <- champ:key
I: 89 S: 63 E: 32  "Vademecum of divergent term rewriting systems" (champ:title)
                    - 25+69/0 <- champ:doc
I: 97 S: 91 E:  8  "1988" (year:1987) - 0+3/0 <- champ:year
-------------- 5
Cycle:         5
Idle:          0
Temperature:   18
Fini:          45
        DS      19      (2)
        DC      4       (1)
        DI      22      (4)
        DZ      0       (0)
        AR      0       (0)
Reservoir:     43
Noeuds actifs: 4878
----------
On a trouve 1 instance(s) de "year:1957"
On a trouve 1 instance(s) de "mot:How"
Separateur repere: "sep:note-:.</Times-Roman>"
On a trouve 1 instance(s) de "year:1985"
On a trouve 1 instance(s) de "sw:New"
On a trouve 1 instance(s) de "jw:Word"
On a trouve 1 instance(s) de "mot:aid"
On a trouve 5 instance(s) de "bw:s"
On a trouve 1 instance(s) de "mot:Merge"
Separateur repere: "sep:mot-mot: "
On a trouve 1 instance(s) de "mot:Depth"
On a trouve 1 instance(s) de "mot:Top"
On a trouve 1 instance(s) de "year:1989"
On a trouve 2 instance(s) de "mot:Cue"
On a trouve 1 instance(s) de "a:M. Hase"
On a trouve 1 instance(s) de "mot:edge"
On a trouve 2 instance(s) de "pub:T"
On a trouve 2 instance(s) de "volume:C"
On a trouve 1 instance(s) de "bw:ACM"
On a trouve 1 instance(s) de "mw:Sept."
On a trouve 2 instance(s) de "mot:Pre"
On a trouve 2 instance(s) de "mot:Editing"
On a trouve 1 instance(s) de "volume:I"
On a trouve 1 instance(s) de "mot:Items"
On a trouve 1 instance(s) de "mot:Made"
On a trouve 1 instance(s) de "mot:ABC"
Separateur repere: "sep:mot-mot:n"
I:100 S: 70 E: 30  "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
                    systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
                    Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
                    September 1988.</Times-Roman>" (champ:doc) - 0+0/27
I: 31 S: 90 E:  3  ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 45 S:100 E:  0  "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 90 S: 77 E: 20  "M. Hermann" (champ:author) - 13+22/1 <- champ:doc
I: 60 S: 79 E: 12  "</Times-Italic><Times-Roman>, "
                   (sep:journal-volume:</Times-Italic><Times-Roman>, )
                   - 147+176/0 <- champ:doc
I: 60 S: 83 E: 10  ". In </Times-Roman><Times-Italic>"
                   (sep:title-booktitle:. In </Times-Roman><Times-Italic>)
                   - 70+102/0 <- champ:doc
I: 60 S: 70 E: 18  " " (sep:month-year: ) - 138+138/0 <- champ:doc
I: 60 S: 74 E: 15  " " (sep:month-year: ) - 184+184/0 <- champ:doc
I: 60 S: 94 E:  3  " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 60 S: 92 E:  4  ", " (sep:pages-address:, ) - 189+190/0 <- champ:doc
I: 90 S: 95 E:  4  "1988" (champ:year) - 201+204/1 <- champ:doc
I:  1 S: 63 E:  0  "isto" (champ:key) - 179+182/1 <- champ:doc
I:100 S: 63 E: 37  "isto" (key:iso) - 0+3/0 <- champ:key
I:100 S: 82 E: 18  "Vademecum of divergent term rewriting systems" (champ:title)
                   - 25+69/11 <- champ:doc
I: 60 S:100 E:  0  ".</Times-Roman>" (sep:note-:.</Times-Roman>) - 205+219/0
                   <- champ:doc
I: 25 S: 63 E:  9  "Wor" (champ:jw) - 139+141/1 <- champ:doc
I: 24 S: 63 E:  9  "Wor" (jw:Word) - 0+2/0 <- champ:jw
I: 36 S: 75 E:  9  "s" (champ:bw) - 113+113/1 <- champ:doc
I: 35 S: 75 E:  8  "s" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 67 E: 12  "S" (champ:bw) - 117+117/1 <- champ:doc
I: 35 S: 67 E: 11  "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 67 E: 12  "S" (champ:bw) - 122+122/1 <- champ:doc
I: 35 S: 67 E: 11  "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 75 E:  9  "s" (champ:bw) - 143+143/1 <- champ:doc
I: 35 S: 75 E:  8  "s" (bw:s) - 0+0/0 <- champ:bw
I: 81 S: 73 E: 21  "erge" (champ:mot) - 16+19/1 <- champ:title
I: 60 S: 75 E: 15  " " (sep:mot-mot: ) - 9+9/0 <- champ:title
I: 60 S: 75 E: 15  " " (sep:mot-mot: ) - 12+12/0 <- champ:title
I: 60 S: 81 E: 11  " " (sep:mot-mot: ) - 22+22/0 <- champ:title
I: 60 S: 81 E: 11  " " (sep:mot-mot: ) - 27+27/0 <- champ:title
I: 60 S: 81 E: 11  " " (sep:mot-mot: ) - 37+37/0 <- champ:title
I: 81 S: 60 E: 32  "op" (champ:mot) - 145+146/1 <- champ:doc
I: 80 S: 60 E: 32  "op" (mot:Top) - 0+1/0 <- champ:mot
I: 94 S: 95 E:  4  "1988" (year:1989) - 0+3/0 <- champ:year
I: 81 S: 57 E: 34  "cu" (champ:mot) - 6+7/1 <- champ:title
I: 80 S: 57 E: 34  "cu" (mot:Cue) - 0+1/0 <- champ:mot
I: 81 S: 57 E: 34  "ce" (champ:mot) - 106+107/1 <- champ:doc
I: 80 S: 57 E: 34  "ce" (mot:Cue) - 0+1/0 <- champ:mot
I: 81 S: 61 E: 31  "M. He" (champ:a) - 0+4/1 <- champ:author
I: 80 S: 61 E: 31  "M. He" (a:M. Hase) - 0+4/0 <- champ:a
I: 80 S: 73 E: 21  "erge" (mot:edge) - 0+3/0 <- champ:mot
I: 13 S: 75 E:  3  "T" (champ:pub) - 124+124/1 <- champ:doc
I: 13 S: 75 E:  3  "T" (pub:T) - 0+0/0 <- champ:pub
I: 36 S: 60 E: 14  "AC" (champ:bw) - 120+121/1 <- champ:doc
I: 35 S: 60 E: 14  "AC" (bw:ACM) - 0+1/0 <- champ:bw
I: 23 S: 66 E:  8  "Sept" (champ:mw) - 191+194/1 <- champ:doc
I: 33 S: 66 E: 11  "Sept" (mw:Sept.) - 0+3/0 <- champ:mw
I: 81 S: 60 E: 32  "Pr" (champ:mot) - 103+104/1 <- champ:doc
I: 80 S: 60 E: 32  "Pr" (mot:Pre) - 0+1/0 <- champ:mot
I: 81 S: 60 E: 32  "ewriting" (champ:mot) - 29+36/1 <- champ:title
I: 80 S: 60 E: 32  "ewriting" (mot:Editing) - 0+7/0 <- champ:mot
I: 81 S: 60 E: 32  "ewriting" (champ:mot) - 130+137/1 <- champ:doc
I: 80 S: 60 E: 32  "ewriting" (mot:Editing) - 0+7/0 <- champ:mot
I: 30 S: 67 E: 10  "i" (champ:volume) - 110+110/1 <- champ:doc
I: 35 S: 67 E: 11  "i" (volume:I) - 0+0/0 <- champ:volume
I: 81 S: 66 E: 27  "tems" (champ:mot) - 41+44/1 <- champ:title
I: 80 S: 66 E: 27  "tems" (mot:Items) - 0+3/0 <- champ:mot
I: 81 S: 63 E: 30  "ade" (champ:mot) - 1+3/1 <- champ:title
I: 80 S: 63 E: 29  "ade" (mot:Made) - 0+2/0 <- champ:mot
I: 81 S: 60 E: 32  "BC" (champ:mot) - 115+116/1 <- champ:doc
I: 80 S: 60 E: 32  "BC" (mot:ABC) - 0+1/0 <- champ:mot
I: 54 S: 81 E: 10  "n" (sep:mot-mot:n) - 20+20/0 <- champ:title
-------------- 6
Cycle:         6
Idle:          0
Temperature:   21
Fini:          1482
        DS      41      (3)
        DC      5       (0)
        DI      1436    (24)
        DZ      0       (0)
        AR      0       (0)
Reservoir:     2211
Noeuds actifs: 5769
----------
On a trouve 1 instance(s) de "cmot:Processing"
FEUILLE ("ade"(champ:mot), 3, 1-2) TROP GRANDE!
 Trouve:"de", Pere:"mot:de"
On la supprime!
On a trouve 2 instance(s) de "mot:de"
On a trouve 1 instance(s) de "cmot:-"
FEUILLE ("ewriting"(champ:mot), 8, 2-7) TROP GRANDE!
 Trouve:"riting", Pere:"mot:Fitting"
On la supprime!
On a trouve 2 instance(s) de "mot:Fitting"
On a trouve 1 instance(s) de "mot:of"
On a trouve 1 instance(s) de "cmot:The"
On a trouve 1 instance(s) de "mot:divers"
Separateur repere: "sep:school-month:, "
FEUILLE ("ewriting"(champ:mot), 8, 1-6) TROP GRANDE!
 Trouve:"writin", Pere:"mot:within"
On la supprime!
On a trouve 3 instance(s) de "mot:within"
  Occupation:1  Type:mot:Items  Debut:3 Fin:6
        Ajout d'un champ:mot "systems" a champ:title
On ne copie pas: " " (sep:mot-mot: ) dans (champ:mot)
  Occupation:2  Type:mot:within Debut:2 Fin:7
        Ajout d'un champ:mot "rewriting systems" a champ:title
On ne copie pas: " " (sep:mot-mot: ) dans (champ:mot)
  Occupation:2  Type:mot:within Debut:7 Fin:12
        Ajout d'un champ:mot "term rewriting systems" a champ:title
On ne copie pas: " " (sep:mot-mot: ) dans (champ:mot)
  Occupation:2  Type:mot:within Debut:9 Fin:14
        Ajout d'un champ:mot "t term rewriting systems" a champ:title
  Occupation:2  Type:mot:Cue    Debut:6 Fin:7
        Ajout d'un champ:mot "Vademecum" a champ:title
  Occupation:1  Type:mot:of     Debut:0 Fin:1
  Occupation:1  Type:mot:divers Debut:0 Fin:4
        Ajout d'un champ:mot "diverge" a champ:title
On a construit 6 champs "champ:mot".
FEUILLE ("diverge"(champ:mot), 7, 0-3) TROP GRANDE!
 Trouve:"dive", Pere:"mot:driven"
On la supprime!
On a trouve 1 instance(s) de "mot:driven"
FEUILLE ("t term rewriting systems"(champ:mot), 24, 17-23) TROP GRANDE!
 Trouve:"systems", Pere:"mot:systems"
On la supprime!
On a trouve 2 instance(s) de "mot:systems"
On a trouve 1 instance(s) de "mw:septembre"
On a trouve 1 instance(s) de "mot:Emergent"
On a trouve 1 instance(s) de "bw:Processings"
On a trouve 1 instance(s) de "mot:Tri"
On a trouve 2 instance(s) de "bw:Proceedings"
On a trouve 1 instance(s) de "bw:IFAC"
On a trouve 2 instance(s) de "mw:september"
-> 191-199 "September" (champ:mw)
        1:      1314
        NbChampsDifferents:0
        NbChampsSemblables:1
CONSTRUCTION DU CHAMP "champ:month"
Agents.cc: ChercheZone ()
        On ajoute "September" au noeud "September" (champ:month)
Ajout d'une dependance "September" a "<Times-Roman>M. Hermann. Vademecum of divergent
 term rewriting systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
 Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK), September 1988.
 </Times-Roman>"
I:100 S: 76 E: 24  "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
                    systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
                    Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
                    September 1988.</Times-Roman>" (champ:doc) - 0+0/25
I: 60 S: 90 E:  6  ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S:100 E:  0  "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 90 S: 77 E: 20  "M. Hermann" (champ:author) - 13+22/1 <- champ:doc
I: 60 S: 79 E: 12  "</Times-Italic><Times-Roman>, "
                   (sep:journal-volume:</Times-Italic><Times-Roman>, )
                   - 147+176/0 <- champ:doc
I: 60 S: 83 E: 10  ". In </Times-Roman><Times-Italic>"
                   (sep:title-booktitle:. In </Times-Roman><Times-Italic>)
                   - 70+102/0 <- champ:doc
I: 60 S: 70 E: 18  " " (sep:month-year: ) - 138+138/0 <- champ:doc
I: 60 S: 74 E: 15  " " (sep:month-year: ) - 184+184/0 <- champ:doc
I: 60 S: 94 E:  3  " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 90 S: 95 E:  4  "1988" (champ:year) - 201+204/1 <- champ:doc
I:  1 S: 63 E:  0  "isto" (champ:key) - 179+182/1 <- champ:doc
I:100 S: 63 E: 37  "isto" (key:iso) - 0+3/0 <- champ:key
I: 96 S: 90 E:  9  "Vademecum of divergent term rewriting systems" (champ:title)
                   - 25+69/7 <- champ:doc
I: 60 S:100 E:  0  ".</Times-Roman>" (sep:note-:.</Times-Roman>) - 205+219/0
                   <- champ:doc
I: 25 S: 63 E:  9  "Wor" (champ:jw) - 139+141/1 <- champ:doc
I: 24 S: 63 E:  9  "Wor" (jw:Word) - 0+2/0 <- champ:jw
I: 36 S: 67 E: 12  "S" (champ:bw) - 117+117/1 <- champ:doc
I: 35 S: 67 E: 11  "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 67 E: 12  "S" (champ:bw) - 122+122/1 <- champ:doc
I: 35 S: 67 E: 11  "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 75 E:  9  "s" (champ:bw) - 143+143/1 <- champ:doc
I: 35 S: 75 E:  8  "s" (bw:s) - 0+0/0 <- champ:bw
I: 60 S: 75 E: 15  " " (sep:mot-mot: ) - 9+9/0 <- champ:title
I: 60 S: 75 E: 15  " " (sep:mot-mot: ) - 12+12/0 <- champ:title
I: 81 S: 60 E: 32  "op" (champ:mot) - 145+146/1 <- champ:doc
I: 80 S: 60 E: 32  "op" (mot:Top) - 0+1/0 <- champ:mot
I: 94 S: 95 E:  4  "1988" (year:1989) - 0+3/0 <- champ:year
I: 81 S: 61 E: 31  "M. He" (champ:a) - 0+4/1 <- champ:author
I: 80 S: 61 E: 31  "M. He" (a:M. Hase) - 0+4/0 <- champ:a
I: 81 S: 60 E: 32  "BC" (champ:mot) - 115+116/1 <- champ:doc
I: 80 S: 60 E: 32  "BC" (mot:ABC) - 0+1/0 <- champ:mot
I:  1 S: 75 E:  0  "-" (champ:cmot) - 118+118/1 <- champ:doc
I: 10 S: 75 E:  2  "-" (cmot:-) - 0+0/0 <- champ:cmot
I: 81 S: 75 E: 20  "of" (champ:mot) - 10+11/1 <- champ:title
I:100 S: 75 E: 25  "of" (mot:of) - 0+1/0 <- champ:mot
I:  1 S: 60 E:  0  "Te" (champ:cmot) - 124+125/1 <- champ:doc
I: 10 S: 60 E:  4  "Te" (cmot:The) - 0+1/0 <- champ:cmot
I: 58 S: 95 E:  2  ", " (sep:school-month:, ) - 189+190/0 <- champ:doc
I: 81 S: 75 E: 20  "writin" (champ:mot) - 131+136/1 <- champ:doc
I: 80 S: 75 E: 20  "writin" (mot:within) - 0+5/0 <- champ:mot
I: 80 S: 57 E: 34  "cu" (mot:Cue) - 6+7/0 <- champ:mot
I: 92 S: 93 E:  6  "de" (mot:de) - 2+3/0 <- champ:mot
I: 82 S: 75 E: 20  "Vademecum" (champ:mot) - 0+8/2 <- champ:title
I: 81 S: 93 E:  5  "systems" (champ:mot) - 38+44/1 <- champ:title
I: 80 S: 93 E:  5  "systems" (mot:systems) - 0+6/0 <- champ:mot
I: 81 S: 60 E: 32  "vergent" (champ:mot) - 15+21/1 <- champ:title
I: 80 S: 60 E: 32  "vergent" (mot:Emergent) - 0+6/0 <- champ:mot
I: 81 S: 60 E: 32  "ri" (champ:mot) - 31+32/1 <- champ:title
I: 80 S: 60 E: 32  "ri" (mot:Tri) - 0+1/0 <- champ:mot
I: 36 S: 75 E:  9  "Proceedings" (champ:bw) - 103+113/1 <- champ:doc
I: 43 S: 75 E: 10  "Proceedings" (bw:Proceedings) - 0+10/0 <- champ:bw
I: 36 S: 63 E: 13  "FAC" (champ:bw) - 119+121/1 <- champ:doc
I: 35 S: 63 E: 13  "FAC" (bw:IFAC) - 0+2/0 <- champ:bw
I: 23 S: 73 E:  6  "September" (champ:mw) - 0+8/1 <- champ:month
I: 24 S: 73 E:  6  "September" (mw:september) - 0+8/0 <- champ:mw
I: 26 S: 73 E:  7  "September" (champ:month) - 191+199/1 <- champ:doc
-------------- 7
Cycle:         7
Idle:          0
Temperature:   17
Fini:          2120
        DS      22      (1)
        DC      16      (1)
        DI      2079    (17)
        DZ      3       (1)
        AR      0       (0)
Reservoir:     1552
Noeuds actifs: 5842
----------
On a trouve 2 instance(s) de "mot:k"
On a trouve 1 instance(s) de "year:1987"
On a trouve 1 instance(s) de "mw:December"
On a trouve 1 instance(s) de "mot:Writer"
FEUILLE ("Vademecum"(champ:mot), 9, 6-8) TROP GRANDE!
 Trouve:"cum", Pere:"mot:cm"
On la supprime!
On a trouve 2 instance(s) de "mot:cm"
-> 139-141 "Wor" (champ:jw)
        1:      378
        NbChampsDifferents:0
        NbChampsSemblables:1
CONSTRUCTION DU CHAMP "champ:journal"
Agents.cc: ChercheZone ()
        On ajoute "Wor" au noeud "Wor" (champ:journal)
Ajout d'une dependance "Wor" a "<Times-Roman>M. Hermann. Vademecum of divergent term
 rewriting systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
 Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK), September 1988.
 </Times-Roman>"
On a trouve 1 instance(s) de "bw:l"
FEUILLE ("M. He"(champ:a), 5, 1-4) TROP GRANDE!
 Trouve:". He", Pere:"a:Y. He"
On la supprime!
On a trouve 1 instance(s) de "a:Y. He"
On a trouve 1 instance(s) de "mot:in"
-> 118-118 "-" (champ:cmot)
-> 119-121 "FAC" (champ:bw)
-> 122-122 "S" (champ:bw)
-> 124-125 "Te" (champ:cmot)
        1:      -244
        2:      472
        3:      389
        4:      22
        NbChampsDifferents:2
        NbChampsSemblables:2
On a trouve 1 instance(s) de "a:M. Usher"
On a trouve 1 instance(s) de "mot:Of"
On a trouve 1 instance(s) de "mw:Septembre"
On a trouve 1 instance(s) de "jw:Workshop"
On a trouve 1 instance(s) de "key:iso"
  Occupation:8  Type:sep:mot-mot:       Debut:9 Fin:9
Separateur repere: "sep:volume-number:("
On a trouve 1 instance(s) de "volume:B"
-> 191-199 "September" (champ:month)
        1:      1514
        NbChampsDifferents:0
        NbChampsSemblables:1
On a trouve 1 instance(s) de "mot:and"
On a trouve 3 instance(s) de "mot:Writing"
FEUILLE ("vergent"(champ:mot), 7, 3-6) TROP GRANDE!
 Trouve:"gent", Pere:"mot:Agent"
On la supprime!
On a trouve 2 instance(s) de "mot:Agent"
  Occupation:1  Type:champ:mw   Debut:0 Fin:8
        Ajout d'un champ:month "September" a champ:doc
On a construit 1 champ  "champ:month".
  Occupation:1  Type:champ:a    Debut:0 Fin:5
-> 103-113 "Proceedings" (champ:bw)
-> 115-116 "BC" (champ:mot)
-> 117-117 "S" (champ:bw)
-> 118-118 "-" (champ:cmot)
-> 119-121 "FAC" (champ:bw)
-> 122-122 "S" (champ:bw)
-> 124-125 "Te" (champ:cmot)
-> 131-137 "writing" (champ:mot)
-> 138-138 " " (sep:month-year: )
-> 139-146 "Workshop" (champ:jw)
-> 147-176 "</Times-Italic><Times-Roman>, " (sep:journal-volume:</Times-Italic>
                                                                <Times-Roman>, )
-> 177-177 "B" (champ:volume)
-> 179-182 "isto" (champ:key)
-> 183-183 "l" (champ:bw)
        1:      1426
        2:      -1733
        3:      -131
        4:      -502
        5:      450
        6:      367
        7:      -1034
        8:      569
        9:      -2019
        10:     -6120
        11:     5760
        12:     -7464
        13:     188
        14:     -338
        On enleve "BC" (champ:mot,60)
        On enleve "-" (champ:cmot,75)
        On enleve "Te" (champ:cmot,60)
        On enleve " " (sep:month-year: ,70)
        On enleve "Workshop" (champ:jw,75)
        On enleve "B" (champ:volume,75)
        NbChampsDifferents:3
        NbChampsSemblables:5
I:100 S: 76 E: 24  "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
                    systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
                    Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
                    September 1988.</Times-Roman>" (champ:doc) - 0+0/21
I: 31 S: 90 E:  3  ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 45 S:100 E:  0  "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 90 S: 84 E: 14  "M. Hermann" (champ:author) - 13+22/1 <- champ:doc
I: 60 S: 79 E: 12  "</Times-Italic><Times-Roman>, "
                   (sep:journal-volume:</Times-Italic><Times-Roman>, )
                   - 147+176/0 <- champ:doc
I: 13 S: 83 E:  2  ". In </Times-Roman><Times-Italic>"
                   (sep:title-booktitle:. In </Times-Roman><Times-Italic>)
                   - 70+102/0 <- champ:doc
I: 60 S: 74 E: 15  " " (sep:month-year: ) - 184+184/0 <- champ:doc
I: 60 S: 94 E:  3  " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 90 S: 96 E:  3  "1988" (champ:year) - 201+204/1 <- champ:doc
I:  1 S: 81 E:  0  "isto" (champ:key) - 179+182/1 <- champ:doc
I: 88 S: 90 E:  8  "Vademecum of divergent term rewriting systems" (champ:title)
                   - 25+69/8 <- champ:doc
I: 60 S:100 E:  0  ".</Times-Roman>" (sep:note-:.</Times-Roman>) - 205+219/0
                   <- champ:doc
I: 36 S: 67 E: 12  "S" (champ:bw) - 117+117/1 <- champ:doc
I: 35 S: 67 E: 11  "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 67 E: 12  "S" (champ:bw) - 122+122/1 <- champ:doc
I: 35 S: 67 E: 11  "S" (bw:s) - 0+0/0 <- champ:bw
I: 60 S: 75 E: 15  " " (sep:mot-mot: ) - 9+9/0 <- champ:title
I: 60 S: 75 E: 15  " " (sep:mot-mot: ) - 12+12/0 <- champ:title
I: 81 S: 89 E:  8  "of" (champ:mot) - 10+11/1 <- champ:title
I:  4 S: 95 E:  0  ", " (sep:school-month:, ) - 189+190/0 <- champ:doc
I: 81 S: 93 E:  5  "systems" (champ:mot) - 38+44/1 <- champ:title
I: 80 S: 93 E:  5  "systems" (mot:systems) - 0+6/0 <- champ:mot
I: 36 S: 75 E:  9  "Proceedings" (champ:bw) - 103+113/1 <- champ:doc
I: 43 S: 75 E: 10  "Proceedings" (bw:Proceedings) - 0+10/0 <- champ:bw
I: 36 S: 63 E: 13  "FAC" (champ:bw) - 119+121/1 <- champ:doc
I: 35 S: 63 E: 13  "FAC" (bw:IFAC) - 0+2/0 <- champ:bw
I: 81 S: 67 E: 26  "K" (champ:mot) - 187+187/1 <- champ:doc
I: 80 S: 67 E: 26  "K" (mot:k) - 0+0/0 <- champ:mot
I: 97 S: 96 E:  3  "1988" (year:1987) - 0+3/0 <- champ:year
I: 81 S: 78 E: 17  "cum" (champ:mot) - 6+8/1 <- champ:title
I: 80 S: 78 E: 17  "cum" (mot:cm) - 0+2/0 <- champ:mot
I: 36 S: 75 E:  9  "l" (champ:bw) - 183+183/1 <- champ:doc
I: 38 S: 75 E:  9  "l" (bw:l) - 0+0/0 <- champ:bw
I: 81 S: 62 E: 30  "M. Her" (champ:a) - 0+5/1 <- champ:author
I: 80 S: 62 E: 30  "M. Her" (a:M. Usher) - 0+5/0 <- champ:a
I: 80 S: 89 E:  8  "of" (mot:Of) - 0+1/0 <- champ:mot
I:100 S: 81 E: 19  "isto" (key:iso) - 0+3/0 <- champ:key
I: 60 S: 97 E:  1  "(" (sep:volume-number:() - 185+185/0 <- champ:doc
I: 81 S: 60 E: 32  "ad" (champ:mot) - 1+2/1 <- champ:title
I: 92 S: 60 E: 36  "ad" (mot:and) - 0+1/0 <- champ:mot
I: 81 S: 73 E: 21  "writing" (champ:mot) - 30+36/1 <- champ:title
I: 80 S: 73 E: 21  "writing" (mot:Writing) - 0+6/0 <- champ:mot
I: 81 S: 73 E: 21  "writing" (champ:mot) - 131+137/1 <- champ:doc
I: 80 S: 73 E: 21  "writing" (mot:Writing) - 0+6/0 <- champ:mot
I: 81 S: 82 E: 14  "gent" (champ:mot) - 18+21/1 <- champ:title
I: 80 S: 82 E: 14  "gent" (mot:Agent) - 0+3/0 <- champ:mot
I: 23 S: 82 E:  4  "September" (champ:mw) - 0+8/1 <- champ:month
I: 28 S: 82 E:  5  "September" (mw:Septembre) - 0+8/0 <- champ:mw
I: 26 S:100 E:  0  "September" (champ:month) - 191+199/1 <- champ:doc
-------------- 8
Cycle:         8
Idle:          0
Temperature:   14
Fini:          1074
        DS      45      (1)
        DC      24      (1)
        DI      1001    (17)
        DZ      4       (1)
        AR      0       (0)
Reservoir:     116
Noeuds actifs: 5853
----------
-> 191-199 "September" (champ:month)
        1:      2000
        NbChampsDifferents:0
        NbChampsSemblables:1
On a trouve 1 instance(s) de "mot:Made"
Prochain cycle de l'agent "DZ" (champ:doc)      58
-> 25-69 "Vademecum of divergent term rewriting systems" (champ:title)
-> 70-102 ". In </Times-Roman><Times-Italic>" (sep:title-booktitle:. In
                                               </Times-Roman><Times-Italic>)
-> 103-113 "Proceedings" (champ:bw)
-> 117-117 "S" (champ:bw)
-> 119-121 "FAC" (champ:bw)
-> 122-122 "S" (champ:bw)
-> 131-137 "writing" (champ:mot)
-> 147-176 "</Times-Italic><Times-Roman>, " (sep:journal-volume:</Times-Italic>
                                                                <Times-Roman>, )
-> 179-182 "isto" (champ:key)
-> 183-183 "l" (champ:bw)
-> 184-184 " " (sep:month-year: )
-> 185-185 "(" (sep:volume-number:()
-> 187-187 "K" (champ:mot)
        1:      -5
        2:      -1692
        3:      -6213
        4:      2366
        5:      924
        6:      41
        7:      -6789
        8:      5886
        9:      -6628
        10:     -704
        11:     -235
        12:     -109
        13:     -113
        On enleve ". In </Times-Roman><Times-Italic>" (sep:title-booktitle:. In
                                                </Times-Roman><Times-Italic>,83)
        On enleve "Proceedings" (champ:bw,75)
        On enleve "isto" (champ:key,81)
        On enleve "l" (champ:bw,75)
        On enleve " " (sep:month-year: ,74)
        On enleve "(" (sep:volume-number:(,97)
        NbChampsDifferents:4
        NbChampsSemblables:3
-> 117-117 "S" (champ:bw)
-> 119-121 "FAC" (champ:bw)
-> 122-122 "S" (champ:bw)
        1:      452
        2:      691
        3:      483
        NbChampsDifferents:0
        NbChampsSemblables:3
CONSTRUCTION DU CHAMP "champ:booktitle"
Agents.cc: ChercheZone ()
        On ajoute "S" au noeud "S-FACS" (champ:booktitle)
Agents.cc: ChercheZone ()
        On ajoute "FAC" au noeud "S-FACS" (champ:booktitle)
Agents.cc: ChercheZone ()
        On ajoute "S" au noeud "S-FACS" (champ:booktitle)
Ajout d'une dependance "S-FACS" a "<Times-Roman>M. Hermann. Vademecum of divergent
 term rewriting systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
 Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK), September 1988.
 </Times-Roman>"
Separateur repere: "sep:type-number: "
On a trouve 1 instance(s) de "mot:ABC"
On a trouve 5 instance(s) de "jw:s"
Test d'arret (T=14,Idle=0)
ARRET: NON(100000) OU OUI(1296)?
De(1,101296)=14716!
Max: 14716
On a trouve 1 instance(s) de "mw:Mai"
On a trouve 1 instance(s) de "mot:Process"
Test d'arret (T=14,Idle=0)
ARRET: NON(100000) OU OUI(1296)?
De(1,101296)=81951!
Max: 81951
On a trouve 1 instance(s) de "mot:the"
On a trouve 1 instance(s) de "mot:Many"
On a trouve 1 instance(s) de "year:1988"
I:100 S: 65 E: 35  "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
                    systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
                    Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
                    September 1988.</Times-Roman>" (champ:doc) - 0+0/27
I: 60 S: 90 E:  6  ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S:100 E:  0  "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 90 S: 84 E: 14  "M. Hermann" (champ:author) - 13+22/1 <- champ:doc
I: 60 S: 79 E: 12  "</Times-Italic><Times-Roman>, "
                   (sep:journal-volume:</Times-Italic><Times-Roman>, )
                   - 147+176/0 <- champ:doc
I: 60 S: 94 E:  3  " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 90 S: 99 E:  0  "1988" (champ:year) - 201+204/1 <- champ:doc
I: 98 S: 94 E:  5  "Vademecum of divergent term rewriting systems" (champ:title)
                   - 25+69/9 <- champ:doc
I: 60 S:100 E:  0  ".</Times-Roman>" (sep:note-:.</Times-Roman>) - 205+219/0
                   <- champ:doc
I: 60 S: 75 E: 15  " " (sep:mot-mot: ) - 9+9/0 <- champ:title
I: 60 S: 75 E: 15  " " (sep:mot-mot: ) - 12+12/0 <- champ:title
I: 81 S: 89 E:  8  "of" (champ:mot) - 10+11/1 <- champ:title
I:  5 S: 95 E:  0  ", " (sep:school-month:, ) - 189+190/0 <- champ:doc
I: 81 S: 93 E:  5  "systems" (champ:mot) - 38+44/1 <- champ:title
I: 80 S: 93 E:  5  "systems" (mot:systems) - 0+6/0 <- champ:mot
I: 81 S: 67 E: 26  "K" (champ:mot) - 187+187/1 <- champ:doc
I: 80 S: 67 E: 26  "K" (mot:k) - 0+0/0 <- champ:mot
I: 81 S: 78 E: 17  "cum" (champ:mot) - 6+8/1 <- champ:title
I: 80 S: 78 E: 17  "cum" (mot:cm) - 0+2/0 <- champ:mot
I: 81 S: 62 E: 30  "M. Her" (champ:a) - 0+5/1 <- champ:author
I: 80 S: 62 E: 30  "M. Her" (a:M. Usher) - 0+5/0 <- champ:a
I: 80 S: 89 E:  8  "of" (mot:Of) - 0+1/0 <- champ:mot
I: 81 S: 73 E: 21  "writing" (champ:mot) - 30+36/1 <- champ:title
I: 80 S: 73 E: 21  "writing" (mot:Writing) - 0+6/0 <- champ:mot
I: 81 S: 73 E: 21  "writing" (champ:mot) - 131+137/1 <- champ:doc
I: 80 S: 73 E: 21  "writing" (mot:Writing) - 0+6/0 <- champ:mot
I: 81 S: 82 E: 14  "gent" (champ:mot) - 18+21/1 <- champ:title
I: 80 S: 82 E: 14  "gent" (mot:Agent) - 0+3/0 <- champ:mot
I: 23 S: 82 E:  4  "September" (champ:mw) - 0+8/1 <- champ:month
I: 28 S: 82 E:  5  "September" (mw:Septembre) - 0+8/0 <- champ:mw
I: 26 S:100 E:  0  "September" (champ:month) - 191+199/1 <- champ:doc
I: 81 S: 63 E: 30  "ade" (champ:mot) - 1+3/1 <- champ:title
I: 80 S: 63 E: 29  "ade" (mot:Made) - 0+2/0 <- champ:mot
I: 36 S: 67 E: 12  "S" (champ:bw) - 0+0/1 <- champ:booktitle
I: 35 S: 67 E: 11  "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 63 E: 13  "FAC" (champ:bw) - 2+4/1 <- champ:booktitle
I: 35 S: 63 E: 13  "FAC" (bw:IFAC) - 0+2/0 <- champ:bw
I: 36 S: 67 E: 12  "S" (champ:bw) - 5+5/1 <- champ:booktitle
I: 35 S: 67 E: 11  "S" (bw:s) - 0+0/0 <- champ:bw
I: 42 S: 53 E: 20  "S-FACS" (champ:booktitle) - 117+122/3 <- champ:doc
I: 60 S: 71 E: 17  " " (sep:type-number: ) - 71+71/0 <- champ:doc
I: 60 S: 71 E: 17  " " (sep:type-number: ) - 74+74/0 <- champ:doc
I: 60 S: 84 E:  9  " " (sep:type-number: ) - 114+114/0 <- champ:doc
I: 60 S: 84 E:  9  " " (sep:type-number: ) - 123+123/0 <- champ:doc
I: 60 S: 84 E:  9  " " (sep:type-number: ) - 128+128/0 <- champ:doc
I: 60 S: 78 E: 13  " " (sep:type-number: ) - 138+138/0 <- champ:doc
I: 81 S: 60 E: 32  "BC" (champ:mot) - 115+116/1 <- champ:doc
I: 80 S: 60 E: 32  "BC" (mot:ABC) - 0+1/0 <- champ:mot
I: 25 S: 75 E:  6  "s" (champ:jw) - 81+81/1 <- champ:doc
I: 25 S: 75 E:  6  "s" (jw:s) - 0+0/0 <- champ:jw
I: 25 S: 75 E:  6  "s" (champ:jw) - 94+94/1 <- champ:doc
I: 25 S: 75 E:  6  "s" (jw:s) - 0+0/0 <- champ:jw
I: 25 S: 75 E:  6  "s" (champ:jw) - 113+113/1 <- champ:doc
I: 25 S: 75 E:  6  "s" (jw:s) - 0+0/0 <- champ:jw
I: 25 S: 75 E:  6  "s" (champ:jw) - 143+143/1 <- champ:doc
I: 25 S: 75 E:  6  "s" (jw:s) - 0+0/0 <- champ:jw
I: 25 S: 75 E:  6  "s" (champ:jw) - 180+180/1 <- champ:doc
I: 25 S: 75 E:  6  "s" (jw:s) - 0+0/0 <- champ:jw
I: 81 S: 61 E: 31  "Proce" (champ:mot) - 103+107/1 <- champ:doc
I: 68 S: 61 E: 26  "Proce" (mot:Process) - 0+4/0 <- champ:mot
I: 81 S: 60 E: 32  "te" (champ:mot) - 23+24/1 <- champ:title
I: 85 S: 60 E: 34  "te" (mot:the) - 0+1/0 <- champ:mot
I: 81 S: 61 E: 31  "man" (champ:mot) - 85+87/1 <- champ:doc
I: 80 S: 61 E: 31  "man" (mot:Many) - 0+2/0 <- champ:mot
I:100 S: 99 E:  1  "1988" (year:1988) - 0+3/0 <- champ:year
-------------- 9
Cycle:         9
Idle:          0
Temperature:   16
Fini:          689
        DS      10      (1)
        DC      11      (0)
        DI      645     (8)
        DZ      21      (1)
        AR      2       (0)
Reservoir:     996
Noeuds actifs: 5898
----------
Test d'arret (T=16,Idle=1)
ARRET: NON(100000) OU OUI(58956)?
De(1,158956)=64287!
Max: 81951
On a trouve 7 instance(s) de "volume:I"
On a trouve 2 instance(s) de "mot:des"
On a trouve 1 instance(s) de "jw:Man"
On a trouve 1 instance(s) de "mot:divers"
-> 191-199 "September" (champ:month)
        1:      2000
        NbChampsDifferents:0
        NbChampsSemblables:1
FEUILLE ("es"(champ:mot), 2, 1-1) TROP GRANDE!
 Trouve:"s", Pere:"mot:s"
On la supprime!
On a trouve 2 instance(s) de "mot:s"
On a trouve 2 instance(s) de "mot:n"
On a trouve 1 instance(s) de "cmot:A"
On a trouve 1 instance(s) de "bw:Workshop"
On a trouve 2 instance(s) de "cmot:a"
On a trouve 1 instance(s) de "bw:Processings"
On a trouve 1 instance(s) de "mot:Too"
  Occupation:2  Type:mot:cm     Debut:6 Fin:8
        Ajout d'un champ:mot "Vademecum" a champ:title
  Occupation:1  Type:mot:Of     Debut:0 Fin:1
  Occupation:5  Type:mot:systems        Debut:25        Fin:31
        Ajout d'un champ:mot "divergent term rewriting systems" a champ:title
On a construit 2 champs "champ:mot".
Test d'arret (T=16,Idle=0)
ARRET: NON(100000) OU OUI(1156)?
De(1,101156)=37376!
Max: 81951
On a trouve 1 instance(s) de "mot:Top"
On a trouve 2 instance(s) de "mot:Tiles"
On a trouve 2 instance(s) de "mot:To"
Test d'arret (T=16,Idle=0)
ARRET: NON(100000) OU OUI(1156)?
De(1,101156)=1025!
Max: 81951
On a trouve 1 instance(s) de "mot:Tri"
FEUILLE ("Times"(champ:mot), 5, 0-3) TROP GRANDE!
 Trouve:"Time", Pere:"mot:Time"
On la supprime!
On a trouve 3 instance(s) de "mot:Time"
FEUILLE ("divergent term rewriting systems"(champ:mot), 32, 2-8) TROP GRANDE!
 Trouve:"vergent", Pere:"mot:Emergent"
On la supprime!
On a trouve 2 instance(s) de "mot:Emergent"
-> 13-22 "M. Hermann" (champ:author)
        1:      1880
        NbChampsDifferents:0
        NbChampsSemblables:1
On a trouve 1 instance(s) de "mot:temps"
On a trouve 1 instance(s) de "mot:D"
Test d'arret (T=16,Idle=0)
ARRET: NON(100000) OU OUI(1156)?
De(1,101156)=12266!
Max: 81951
Separateur repere: "sep:month-year: "
-> 25-69 "Vademecum of divergent term rewriting systems" (champ:title)
-> 71-71 " " (sep:type-number: )
-> 72-72 "I" (champ:volume)
-> 73-73 "n" (champ:mot)
-> 74-74 " " (sep:type-number: )
-> 77-80 "Time" (champ:mot)
-> 85-87 "man" (champ:jw)
-> 90-93 "Time" (champ:mot)
-> 96-96 "I" (champ:volume)
-> 98-98 "a" (champ:cmot)
-> 100-100 "i" (champ:volume)
-> 103-113 "Proceedings" (champ:bw)
-> 114-114 " " (sep:type-number: )
-> 115-116 "BC" (champ:mot)
-> 117-122 "S-FACS" (champ:booktitle)
-> 123-123 " " (sep:type-number: )
-> 128-128 " " (sep:type-number: )
-> 131-137 "writing" (champ:mot)
-> 138-138 " " (sep:type-number: )
-> 139-146 "Workshop" (champ:bw)
-> 147-176 "</Times-Italic><Times-Roman>, " (sep:journal-volume:</Times-Italic>
                                                                <Times-Roman>, )
-> 178-179 "ri" (champ:mot)
-> 180-180 "s" (champ:jw)
-> 181-182 "to" (champ:mot)
-> 184-184 " " (sep:month-year: )
-> 187-187 "K" (champ:mot)
        1:      8435
        2:      -8590
        3:      -1088
        4:      761
        5:      -1742
        6:      301
        7:      -937
        8:      20
        9:      -602
        10:     -92
        11:     -1385
        12:     1133
        13:     -1550
        14:     -472
        15:     258
        16:     -412
        17:     -380
        18:     319
        19:     -1656
        20:     -6058
        21:     5654
        22:     -7031
        23:     -326
        24:     -127
        25:     -246
        26:     -1
        On enleve " " (sep:type-number: ,71)
        On enleve "I" (champ:volume,75)
        On enleve " " (sep:type-number: ,71)
        On enleve "man" (champ:jw,72)
        On enleve "I" (champ:volume,75)
        On enleve "a" (champ:cmot,75)
        On enleve "i" (champ:volume,67)
        On enleve " " (sep:type-number: ,84)
        On enleve " " (sep:type-number: ,84)
        On enleve " " (sep:type-number: ,84)
        On enleve " " (sep:type-number: ,78)
        On enleve "Workshop" (champ:bw,75)
        On enleve "s" (champ:jw,75)
        On enleve " " (sep:month-year: ,74)
        NbChampsDifferents:3
        NbChampsSemblables:9
On a trouve 1 instance(s) de "mot:How"
On a trouve 2 instance(s) de "mot:to"
On a trouve 2 instance(s) de "mot:dit"
On a trouve 3 instance(s) de "bw:-"
Test d'arret (T=16,Idle=0)
ARRET: NON(100000) OU OUI(1156)?
De(1,101156)=21221!
Max: 81951
On a trouve 1 instance(s) de "mot:Brief"
On a trouve 1 instance(s) de "address:Roma"
Test d'arret (T=16,Idle=0)
ARRET: NON(100000) OU OUI(1156)?
De(1,101156)=68748!
Max: 81951
On a trouve 2 instance(s) de "pub:T"
On a trouve 1 instance(s) de "volume:C"
On a trouve 1 instance(s) de "mw:september"
I:100 S: 70 E: 30  "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
                    systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
                    Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
                    September 1988.</Times-Roman>" (champ:doc) - 0+0/27
I: 60 S: 90 E:  6  ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 60 S:100 E:  0  "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 90 S: 84 E: 14  "M. Hermann" (champ:author) - 13+22/1 <- champ:doc
I: 60 S: 79 E: 12  "</Times-Italic><Times-Roman>, "
                   (sep:journal-volume:</Times-Italic><Times-Roman>, )
                   - 147+176/0 <- champ:doc
I: 60 S: 94 E:  3  " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 90 S: 99 E:  0  "1988" (champ:year) - 201+204/1 <- champ:doc
I: 97 S: 90 E:  9  "Vademecum of divergent term rewriting systems" (champ:title)
                   - 25+69/8 <- champ:doc
I: 54 S:100 E:  0  ".</Times-Roman>" (sep:note-:.</Times-Roman>) - 205+219/0
                   <- champ:doc
I: 60 S: 75 E: 15  " " (sep:mot-mot: ) - 9+9/0 <- champ:title
I: 60 S: 75 E: 15  " " (sep:mot-mot: ) - 12+12/0 <- champ:title
I: 81 S: 89 E:  8  "of" (champ:mot) - 10+11/1 <- champ:title
I:  9 S: 95 E:  0  ", " (sep:school-month:, ) - 189+190/0 <- champ:doc
I: 81 S: 67 E: 26  "K" (champ:mot) - 187+187/1 <- champ:doc
I: 80 S: 67 E: 26  "K" (mot:k) - 0+0/0 <- champ:mot
I: 81 S: 62 E: 30  "M. Her" (champ:a) - 0+5/1 <- champ:author
I: 80 S: 62 E: 30  "M. Her" (a:M. Usher) - 0+5/0 <- champ:a
I: 80 S: 89 E:  8  "of" (mot:Of) - 0+1/0 <- champ:mot
I: 81 S: 73 E: 21  "writing" (champ:mot) - 131+137/1 <- champ:doc
I: 80 S: 73 E: 21  "writing" (mot:Writing) - 0+6/0 <- champ:mot
I: 23 S: 93 E:  1  "September" (champ:mw) - 0+8/1 <- champ:month
I: 26 S:100 E:  0  "September" (champ:month) - 191+199/1 <- champ:doc
I: 36 S: 67 E: 12  "S" (champ:bw) - 0+0/1 <- champ:booktitle
I: 35 S: 67 E: 11  "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 63 E: 13  "FAC" (champ:bw) - 2+4/1 <- champ:booktitle
I: 35 S: 63 E: 13  "FAC" (bw:IFAC) - 0+2/0 <- champ:bw
I: 36 S: 67 E: 12  "S" (champ:bw) - 5+5/1 <- champ:booktitle
I: 35 S: 67 E: 11  "S" (bw:s) - 0+0/0 <- champ:bw
I: 43 S: 66 E: 14  "S-FACS" (champ:booktitle) - 117+122/4 <- champ:doc
I: 81 S: 60 E: 32  "BC" (champ:mot) - 115+116/1 <- champ:doc
I: 80 S: 60 E: 32  "BC" (mot:ABC) - 0+1/0 <- champ:mot
I:100 S: 99 E:  1  "1988" (year:1988) - 0+3/0 <- champ:year
I: 81 S: 75 E: 20  "n" (champ:mot) - 73+73/1 <- champ:doc
I: 80 S: 75 E: 20  "n" (mot:n) - 0+0/0 <- champ:mot
I: 36 S: 62 E: 13  "Proceedings" (champ:bw) - 103+113/1 <- champ:doc
I: 35 S: 62 E: 13  "Proceedings" (bw:Processings) - 0+10/0 <- champ:bw
I: 80 S: 78 E: 17  "cum" (mot:cm) - 6+8/0 <- champ:mot
I: 80 S: 63 E: 29  "ade" (mot:Made) - 1+3/0 <- champ:mot
I: 82 S: 91 E:  7  "Vademecum" (champ:mot) - 0+8/2 <- champ:title
I: 81 S: 93 E:  5  "Time" (champ:mot) - 77+80/1 <- champ:doc
I: 80 S: 93 E:  5  "Time" (mot:Time) - 0+3/0 <- champ:mot
I: 81 S: 75 E: 20  "Time" (champ:mot) - 90+93/1 <- champ:doc
I: 80 S: 75 E: 20  "Time" (mot:Time) - 0+3/0 <- champ:mot
I: 81 S: 75 E: 20  "vergent" (champ:mot) - 15+21/1 <- champ:title
I: 80 S: 75 E: 20  "vergent" (mot:Emergent) - 0+6/0 <- champ:mot
I: 81 S: 66 E: 27  "tems" (champ:mot) - 41+44/1 <- champ:title
I: 80 S: 66 E: 27  "tems" (mot:temps) - 0+3/0 <- champ:mot
I: 81 S: 57 E: 34  "ho" (champ:mot) - 144+145/1 <- champ:doc
I: 80 S: 57 E: 34  "ho" (mot:How) - 0+1/0 <- champ:mot
I: 81 S: 75 E: 20  "to" (champ:mot) - 181+182/1 <- champ:doc
I: 85 S: 75 E: 21  "to" (mot:to) - 0+1/0 <- champ:mot
I: 81 S: 60 E: 32  "di" (champ:mot) - 13+14/1 <- champ:title
I: 80 S: 60 E: 32  "di" (mot:dit) - 0+1/0 <- champ:mot
I: 81 S: 60 E: 32  "it" (champ:mot) - 32+33/1 <- champ:title
I: 80 S: 60 E: 32  "it" (mot:dit) - 0+1/0 <- champ:mot
I: 36 S: 75 E:  9  "-" (champ:bw) - 1+1/1 <- champ:booktitle
I: 35 S: 75 E:  8  "-" (bw:-) - 0+0/0 <- champ:bw
I: 36 S: 75 E:  9  "-" (champ:bw) - 82+82/1 <- champ:doc
I: 35 S: 75 E:  8  "-" (bw:-) - 0+0/0 <- champ:bw
I: 36 S: 75 E:  9  "-" (champ:bw) - 95+95/1 <- champ:doc
I: 35 S: 75 E:  8  "-" (bw:-) - 0+0/0 <- champ:bw
I: 81 S: 57 E: 34  "Bri" (champ:mot) - 177+179/1 <- champ:doc
I: 80 S: 57 E: 34  "Bri" (mot:Brief) - 0+2/0 <- champ:mot
I: 37 S: 75 E:  9  "Roma" (champ:address) - 83+86/1 <- champ:doc
I: 36 S: 75 E:  9  "Roma" (address:Roma) - 0+3/0 <- champ:address
I: 13 S: 67 E:  4  "t" (champ:pub) - 97+97/1 <- champ:doc
I: 13 S: 67 E:  4  "t" (pub:T) - 0+0/0 <- champ:pub
I: 13 S: 75 E:  3  "T" (champ:pub) - 124+124/1 <- champ:doc
I: 13 S: 75 E:  3  "T" (pub:T) - 0+0/0 <- champ:pub
I: 30 S: 67 E: 10  "c" (champ:volume) - 101+101/1 <- champ:doc
I: 31 S: 67 E: 10  "c" (volume:C) - 0+0/0 <- champ:volume
I: 24 S: 93 E:  1  "September" (mw:september) - 0+8/0 <- champ:mw
-------------- 10
Cycle:         10
Idle:          0
Temperature:   17
Fini:          1606
        DS      16      (1)
        DC      18      (1)
        DI      1552    (28)
        DZ      14      (0)
        AR      6       (0)
Reservoir:     1804
Noeuds actifs: 5938
----------
On a trouve 1 instance(s) de "jw:Word"
On a trouve 1 instance(s) de "mot:Items"
Test d'arret (T=17,Idle=0)
ARRET: NON(100000) OU OUI(1089)?
De(1,101089)=19184!
Max: 81951
On a trouve 3 instance(s) de "sw:I"
On a trouve 1 instance(s) de "mot:A"
On a trouve 1 instance(s) de "cmot:The"
Separateur repere: "sep:title-journal:). </Times-Roman><Times-Italic>"
On a trouve 2 instance(s) de "bw:Proceedings"
On a trouve 1 instance(s) de "mot:Fitting"
Test d'arret (T=17,Idle=0)
ARRET: NON(100000) OU OUI(1089)?
De(1,101089)=5640!
Max: 81951
On a trouve 1 instance(s) de "mot:into"
  Occupation:1  Type:champ:a    Debut:0 Fin:5
On a trouve 1 instance(s) de "mot:Pre"
FEUILLE ("Vademecum"(champ:mot), 9, 2-3) TROP GRANDE!
 Trouve:"de", Pere:"mot:de"
On la supprime!
On a trouve 2 instance(s) de "mot:de"
On a trouve 1 instance(s) de "mot:Of"
Separateur repere: "sep:author-title:. "
On a trouve 1 instance(s) de "mot:system"
Separateur repere: "sep:title-booktitle:. In </Times-Roman><Times-Italic>"
-> 13-22 "M. Hermann" (champ:author)
        1:      1880
        NbChampsDifferents:0
        NbChampsSemblables:1
FEUILLE ("di"(champ:mot), 2, 0-0) TROP GRANDE!
 Trouve:"d", Pere:"mot:d"
On la supprime!
On a trouve 2 instance(s) de "mot:d"
-> 191-199 "September" (champ:month)
        1:      2000
        NbChampsDifferents:0
        NbChampsSemblables:1
Test d'arret (T=17,Idle=0)
ARRET: NON(100000) OU OUI(1089)?
De(1,101089)=45527!
Max: 81951
-> 124-125 "Te" (champ:cmot)
        1:      240
        NbChampsDifferents:0
        NbChampsSemblables:1
CONSTRUCTION DU CHAMP "champ:chapter"
Agents.cc: ChercheZone ()
        On ajoute "Te" au noeud "Te" (champ:chapter)
Ajout d'une dependance "Te" a "<Times-Roman>M. Hermann. Vademecum of divergent term
 rewriting systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
 Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK), September 1988.
 </Times-Roman>"
  Occupation:1  Type:champ:mw   Debut:0 Fin:8
Test d'arret (T=17,Idle=0)
ARRET: NON(100000) OU OUI(1089)?
De(1,101089)=15164!
Max: 81951
Test d'arret (T=17,Idle=0)
ARRET: NON(100000) OU OUI(1089)?
De(1,101089)=100948!
Max: 100948
I:100 S: 77 E: 23  "<Times-Roman>M. Hermann. Vademecum of divergent term rewriting
                    systems. In </Times-Roman><Times-Italic>Proceedings BCS-FACS Term
                    Rewriting Workshop</Times-Italic><Times-Roman>, Bristol (UK),
                    September 1988.</Times-Roman>" (champ:doc) - 0+0/20
I: 60 S: 90 E:  6  ". " (sep:author-title:. ) - 23+24/0 <- champ:doc
I: 45 S:100 E:  0  "<Times-Roman>" (sep:-author:<Times-Roman>) - 0+12/0 <- champ:doc
I: 90 S: 84 E: 14  "M. Hermann" (champ:author) - 13+22/1 <- champ:doc
I: 60 S: 79 E: 12  "</Times-Italic><Times-Roman>, "
                   (sep:journal-volume:</Times-Italic><Times-Roman>, )
                   - 147+176/0 <- champ:doc
I: 60 S: 94 E:  3  " " (sep:month-year: ) - 200+200/0 <- champ:doc
I: 90 S: 99 E:  0  "1988" (champ:year) - 201+204/1 <- champ:doc
I: 98 S: 87 E: 12  "Vademecum of divergent term rewriting systems" (champ:title)
                   - 25+69/9 <- champ:doc
I: 38 S:100 E:  0  ".</Times-Roman>" (sep:note-:.</Times-Roman>) - 205+219/0
                   <- champ:doc
I: 60 S: 75 E: 15  " " (sep:mot-mot: ) - 9+9/0 <- champ:title
I: 60 S: 75 E: 15  " " (sep:mot-mot: ) - 12+12/0 <- champ:title
I: 81 S: 93 E:  5  "of" (champ:mot) - 10+11/1 <- champ:title
I:  4 S: 95 E:  0  ", " (sep:school-month:, ) - 189+190/0 <- champ:doc
I: 81 S: 67 E: 26  "K" (champ:mot) - 187+187/1 <- champ:doc
I: 80 S: 67 E: 26  "K" (mot:k) - 0+0/0 <- champ:mot
I: 81 S: 62 E: 30  "M. Her" (champ:a) - 0+5/1 <- champ:author
I: 80 S: 62 E: 30  "M. Her" (a:M. Usher) - 0+5/0 <- champ:a
I: 81 S: 73 E: 21  "writing" (champ:mot) - 131+137/1 <- champ:doc
I: 80 S: 73 E: 21  "writing" (mot:Writing) - 0+6/0 <- champ:mot
I: 23 S: 93 E:  1  "September" (champ:mw) - 0+8/1 <- champ:month
I: 14 S:100 E:  0  "September" (champ:month) - 191+199/1 <- champ:doc
I: 36 S: 67 E: 12  "S" (champ:bw) - 0+0/1 <- champ:booktitle
I: 35 S: 67 E: 11  "S" (bw:s) - 0+0/0 <- champ:bw
I: 36 S: 63 E: 13  "FAC" (champ:bw) - 2+4/1 <- champ:booktitle
I: 35 S: 63 E: 13  "FAC" (bw:IFAC) - 0+2/0 <- champ:bw
I: 36 S: 67 E: 12  "S" (champ:bw) - 5+5/1 <- champ:booktitle
I: 35 S: 67 E: 11  "S" (bw:s) - 0+0/0 <- champ:bw
I: 43 S: 66 E: 14  "S-FACS" (champ:booktitle) - 117+122/4 <- champ:doc
I: 81 S: 60 E: 32  "BC" (champ:mot) - 115+116/1 <- champ:doc
I: 80 S: 60 E: 32  "BC" (mot:ABC) - 0+1/0 <- champ:mot
I:100 S: 99 E:  1  "1988" (year:1988) - 0+3/0 <- champ:year
I: 81 S: 75 E: 20  "vergent" (champ:mot) - 15+21/1 <- champ:title
I: 80 S: 75 E: 20  "vergent" (mot:Emergent) - 0+6/0 <- champ:mot
I: 81 S: 57 E: 34  "ho" (champ:mot) - 144+145/1 <- champ:doc
I: 80 S: 57 E: 34  "ho" (mot:How) - 0+1/0 <- champ:mot
I: 36 S: 75 E:  9  "-" (champ:bw) - 1+1/1 <- champ:booktitle
I: 35 S: 75 E:  8  "-" (bw:-) - 0+0/0 <- champ:bw
I: 24 S: 93 E:  1  "September" (mw:september) - 0+8/0 <- champ:mw
I: 25 S: 63 E:  9  "Wor" (champ:jw) - 139+141/1 <- champ:doc
I: 24 S: 63 E:  9  "Wor" (jw:Word) - 0+2/0 <- champ:jw
I: 36 S: 75 E:  9  "Proceedings" (champ:bw) - 103+113/1 <- champ:doc
I: 43 S: 75 E: 10  "Proceedings" (bw:Proceedings) - 0+10/0 <- champ:bw
I: 81 S: 58 E: 34  "riting" (champ:mot) - 31+36/1 <- champ:title
I: 80 S: 58 E: 33  "riting" (mot:Fitting) - 0+5/0 <- champ:mot
I: 81 S: 57 E: 34  "isto" (champ:mot) - 179+182/1 <- champ:doc
I: 80 S: 57 E: 34  "isto" (mot:into) - 0+3/0 <- champ:mot
I: 81 S: 60 E: 32  "re" (champ:mot) - 28+29/1 <- champ:title
I: 80 S: 60 E: 32  "re" (mot:Pre) - 0+1/0 <- champ:mot
I: 81 S: 93 E:  5  "de" (champ:mot) - 2+3/1 <- champ:title
I: 92 S: 93 E:  6  "de" (mot:de) - 0+1/0 <- champ:mot
I: 80 S: 93 E:  5  "of" (mot:Of) - 0+1/0 <- champ:mot
I: 81 S: 75 E: 20  "system" (champ:mot) - 38+43/1 <- champ:title
I: 80 S: 75 E: 20  "system" (mot:system) - 0+5/0 <- champ:mot
I: 60 S: 83 E: 10  ". In </Times-Roman><Times-Italic>"
                   (sep:title-booktitle:. In </Times-Roman><Times-Italic>)
                   - 70+102/0 <- champ:doc
I: 81 S: 93 E:  5  "d" (champ:mot) - 13+13/1 <- champ:title
I: 83 S: 93 E:  5  "d" (mot:d) - 0+0/0 <- champ:mot
I:  1 S: 60 E:  0  "Te" (champ:cmot) - 0+1/1 <- champ:chapter
I: 10 S: 60 E:  4  "Te" (cmot:The) - 0+1/0 <- champ:cmot
I:  2 S: 60 E:  1  "Te" (champ:chapter) - 124+125/1 <- champ:doc
-------------- 11
Cycle:         11
Idle:          0
Temperature:   17
Fini:          -1
        DS      28      (3)
        DC      20      (0)
        DI      1377    (13)
        DZ      5       (1)
        AR      5       (0)
Reservoir:     1718
Noeuds actifs: 5936
----------
champ:author    :M. Hermann
champ:booktitle :S-FACS
champ:chapter   :Te
champ:month     :September
champ:title     :Vademecum of divergent term rewriting systems
champ:year      :1988
author  100%    (10/10)
title    99%    (45/45)
month   100%    (9/9)
year    100%    (4/4)
address   0%    (0/12)
booktitle        48%    (6/44)
Reconnaissance : 71% - 74% #####
Reconnaissance : 71% - 74% #####
Recall    : 83% #####
Precision : 83% #####
Recall : 83% Precision : 83% #####

Voyageur de Commerce     Le problème du voyageur de commerce (Travelling Salesman Problem) est de trouver le plus court circuit visitant toutes les villes données au système. Dans [Garvey et al. 1987], les villes sont au nombre de 10, et ce sont ces villes qui ont été reprises dans un premier temps. Mais un système de recherche de plus court circuit doit pouvoir résoudre le problème pour n'importe quel nombre de villes.

Voici les aménagements minimaux à apporter à BASCETpour qu'il puisse résoudre ce problème (ce n'est ici qu'une étude de faisabilité, étant bien entendu qu'on peut apporter toute une série d'optimisations à cette réalisation [Parmentier1995]). Cette application a été développée pour valider l'architecture BASCETet vérifier que celle-ci est bien généraliste. Comme cette application est assez éloignée de la reconnaissance des références bibliographiques, nous avons préféré ne la présenter que dans les annexes.



 
next up previous contents
Next: Blackboard Up: No Title Previous: References
Francois Parmentier
6/19/1998