Colloque

Systèmes de transitions relationnels

Jules Desharnais

Membre a labase

Jules Desharnais

Résumé du colloque

Les systèmes de transitions relationnels (STR) sont des graphes dont les arêtes et les sommets sont étiquetés par des relations. De tels graphes représentent eux-mêmes des relations, ce qui fait qu'on peut leur appliquer les opérateurs relationnels usuels. Les STRs peuvent aussi être présentés au moyen de tables, ce qui est très utile dans le cas des STRs de grande taille. Nous expliquons comment ils peuvent être utilisés pour la description des systèmes dynamiques ainsi que pour l'analyse et la compréhension des programmes. Nous faisons également le lien avec la logique dynamique et la logique temporelle des actions.

Contexte

Section :

Logique, langage et informatique

Thème du colloque :

Logique, langage et informatique

Hôte : Université Laval

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Logique, langage et informatique

Interprétation polynomiale et consistance de l'arithmétique

Yvon Gauthier

Génération intégrée de textes et de graphiques

Guy Lapalme

Les grammaires catégorielles, la logique combinatoire

Ismaïl Biskri

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Logique, langage et informatique

Encasrement d’un demi-treillis démoniaque dans une algèbre de relations

Fairouz Tchier

Systèmes de transitions relationnels

Jules Desharnais

Une sémantique relationnelle démoniaque

Fairouz Tchier