Commentaires et corrections pour mon rapport de thèse
Des amis m'ont donné des commentaires sur mon rapport de
thèse. Des erreurs que je devais corriger. Je les ai empilés, les
remettant pour plus tard. Plus tard est arrivé, et
certaines erreurs n'ont pas été corrigées. Et puis, m'est venu le
désagréable sentiment que modifier mon texte d'origine était
tricher. Du coup, je me contente d'une page listant les erreurs et
des commentaires que je serai peut-être amené à faire par la
suite.
- Notations. La commande que j'utilise pour représenter des
chaînes d'automates est la suivante :
\chaine{A}
Il est
nécessaire d'inclure cette ligne dans l'introduction du
fichier :
\newcommand{\chaine}[1]{\mathcal{E}_{#1}}
Les chaînes hétérogènes sont représentées
par la commande :
\newcommand{\chaineh}[1]{\xi_{#1}}
- Page 63, définition 3.3. Concernant cette définition, les
restrictions sont principalement là pour permettre l'opération
de reconstruction. On pourrait trouver des définitions moins
restrictives (par exemple, autoriser que le chemin $p$ entre $q$
et $q'$ apparaisse sur l'automate $A^i$ et pas sur $A^j$ à
condition que $i < j$ (ou même à d'autres conditions plus
tordues). Voire, on pourrait ne pas mettre les deuxième et
troisième restrictions de la définition si on omet l'opération
de reconstruction : je pense que la plupart des propriétés
utiles seraient satisfaites (en particulier, l'égalité des
chemins quand on synchronise une chaîne et un automate $M$, ou
un automate $A$ et le même automate $M$, à condition que la
chaîne soit un découpage correct de $A$.
- Page 76, dernière ligne de la démonstration. Il faut lire $q
\notin Q^'{i-1}$ et non pas $i \notin Q^'{i-1}$.
Last modified: Mon Mar 3 11:12:09 EST 2008