Renseignements sur l'outil CWB
Installation de CWB
-
Ajouter à la fine du fichier .bash_profile les lignes suivantes:
LSHOME=/home/profs/lsantoca
export PATH=$PATH:$LSHOME/bin
(La première fois il faut aussi exécuter ces deux lignes du shell bash).
-
Ajouter au fichier (ou créer le fichier) .emacs les lignes suivantes:
;; Configuration de CWB
(setq load-path (cons "/home/profs/lsantoca/emacs.d" load-path))
(autoload 'cwb "cwb" "Run a CWB process." t)
(autoload 'cwb-file-mode "cwb" "Major mode for editing CWB source." t)
(setq auto-mode-alist (append '(("\\.cwb$" . cwb-file-mode)) auto-mode-alist))
;; Fin de la configuration de CWB
- Créer un répertoire CWB et y se déplacer :
mkdir CWB; cd CWB
- Demarrer cwb comme il suit :
emacs &
M^X cwb
Exercice
Un système de transitions consiste en
- un ensemble
d'états, avec un état de départ donné,
- un alphabet d'actions,
- pour toute actions dans cet alphabet, une relation de
transitions sur les états.
Deviser une méthode qui, étant donné un système de transitions,
permet d'écrire un agent CCS tel que son graphe est exactement le
système de transitions. Appliquer ce méthode au système de
transitions suivant : les états sont 1,2,3, (l'état de départ étant 1) il y a une seule lettre
dans l'alphabet, les transitions associées à cette lettre sont
(1,2),(2,2),(2,3),(3,1),(3,2).
Exercice
Un buffer de dimension n est un agent qui permet
de mémoriser au plus n informations et de les donner (en les effaçant
de la mémoire) sur demande. Décrire un buffer de dimension 1 à l'aide
du langage CCS. Décrire un buffer de dimension 2 à l'aide d'un agent
CCS. Peut on obtenir un buffer de dimension 2 à l'aide de 2 buffers
de dimension 1 ? Généraliser cela à une méthode pour obtenir un
buffer de dimension n à l'aide de n buffers de dimension 1. Utiliser
l'opération de composition parallèle du langage CCS pour décrire cette
méthode.
(On pourra se servir du fichier buffers.cwb).
Exercice
Écrire un agent CCS dont le graphe a un nombre
d'états infini.
Exercice
Écrire des agents CCS qui calculent la somme et
la multiplication modulo 2. S'en servir pour écrire un agent qui
calcule la somme des 2 bits (cf. le fichier somme.cwb).
Exercice
Produire le graphe de l'agent VM du fichier vending-machine.cwb. Discuter le
contenu de ce fichier.
Exercice
Pour finir, explorer les commands suivantes :
help, quit,
agent,set, relabel, print, clar,
input, output, save,
prefixform, transitions, graph, size,
deadlocks, deadlocksobs,
random, sort, stable, states,
min,
eq.
Luigi
Santocanale
Dernière modification : Mon Feb 9 10:37:35 CET 2004