Renseignements sur l'outil CWB

Installation de CWB

Exercice

Un système de transitions consiste en 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