Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
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 …
