pen icon Colloque
quote

Notes sur les automates linéairement bornés

Claude Boucher
CB

Membre a labase

Claude Boucher

Résumé du colloque

Un des problèmes clés restés ouverts dans le domaine des automates linéairement bornés est celui qui consiste à déterminer s'il est possible de remplacer un automate de ce genre par un automate équivalent du même type, mais qui serait déterministe. Nous présentons ici un résultat qui, sans résoudre définitivement la question, devrait cependant éclairer la voie vers cette résolution.

Contexte

Section :
Mathématiques
news icon Thème du colloque :
Mathématiques
manager icon Responsables :
Marcel Deruaz
host icon Hôte : Université d’Ottawa

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Mathématiques
Sur la somme de certaines séries
Jean-Louis Lavoie
Dérivation et approximations de la fonction η = ARG S et applications à la mécanique quantique
André Ronveaux
Sur l'évaluation du déterminant de certaines matrices
Jean-Louis Lavoie
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Mathématiques
Automates universels pour diverses classes d’automates mathématiques
Claude Boucher
Système à vide, de mesure et de contrôle de pression dans le Tokamak de Varennes
Claude Boucher
Machines séquentielles et langages formels
Claude Boucher