pen icon Colloque
quote

Un éditeur et simulateur d’automates finis

Yvan Roux
René Sirois-Dumais
YR

Membre a labase

Yvan Roux

Résumé du colloque

Le domaine des fondements théoriques de l’informatique est à la frontière entre les mathématiques et l’informatique. Si les mathématiciens s’y sentent en terrain familier, y retrouvant leur vocabulaire et leurs méthodes habituelles, il faut plus que de simples descriptions statiques pour intéresser à ce domaine ceux qui sont peu attirés par les concepts abstraits. Pour permettre une présentation plus concrète et dynamique de la notion d’automates finis, nous avons élaboré un logiciel servant à dessiner des automates et à les mettre en action. L’automate fini est le plus simple d’un ensemble de modèles abstraits visant à cerner la notion de calcul mécanique. On le conçoit comme une machine qui peut se trouver dans un nombre fini de configurations internes (ou états) et qui sous l’influence d’un signal extérieur passe d’un état à un autre. Dans le logiciel que nous proposons, l’automate est représenté par son diagramme de transitions et la suite de signaux ou symboles est inscrite sur un ruban de lecture. On peut alors, par animation, simuler le fonctionnement de l’automate.

Contexte

Section :
Informatique et recherche opérationnelle
news icon Thème du colloque :
Informatique et recherche opérationnelle
host icon Hôte : Université du Québec à Rimouski

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Informatique et recherche opérationnelle
Systèmes d'exploitation pour l'implantation des modèles connexionnistes
Alex Friedman
L'opérateur d'indifférence et les classes d'équivalence
Laszlo N. Kiss
Analyse dynamique du logiciel: principes et bénéfices potentiels
Jean-Sébastien Neveu
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Informatique et recherche opérationnelle
Un éditeur et simulateur d’automates finis
Yvan Roux
Une approche permettant l'automatisation de tests
Mario Lavoie