Colloque

Les automates de Turing

Claude Boucher

Membre a labase

Claude Boucher

Résumé du colloque

On définit le concept d'automates de Turing (avec ou sans marqueur), afin d'avoir à sa disposition un outil mathématique dont la puissance se situe au niveau des machines de Turing, mais dont la structure est parallèle à celle des autres automates mathématiques. On démontre des théorèmes d'équivalence entre certaines sous-classes de ces nouveaux automates et on montre comment elles se rattachent aux machines de Turing classiques.

Contexte

Section :

Mathématiques

Thème du colloque :

Mathématiques

Responsables :

Gabriel Thierrin

Hôte : Université de Sherbrooke

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Mathématiques

Les coordonnées barycentriques et le théorème de Ptolémée

Serge Dubuc

Certaines propositions sur les annoMdes

Léonidas Konguetsof

Relations régulières en algèbres universelles

Mohammad Ishaq

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Mathématiques

Comportement des getters frais au Zr-V-Fe exposés à l'hydrogène dans un système ultra haut vide

Claude Boucher

Diagnostics pour l'étude de la production et du transport des impuretés dans le Tokamak de Varennes

Bernard Terreault

Comportement des getters frais au Zr-V-Fe exposés à l'hydrogène dans un système ultra haut vide

Claude Boucher