Colloque

Automates universels pour diverses classes d'automates mathématiques

Claude Boucher

Membre a labase

Claude Boucher

Résumé du colloque

On dira qu'un automate M joue, pour une classe d'automates A, un rôle d'automate universel au sens strict (resp. au sens large), s'il existe deux applications injectives décodables φ1 et φ2, où φ1: A->θ(Σ_M) et φ2: (U ΣΩ)->θ(Σ_M) tels que, Ω ∈ A (resp. s'il existe une application injective décodable ψ: U{Ω,x: x ∈ θ(ΣΩ)}->θ(Σ_M) telle que ), pour tout Ω ∈ A et tout x ∈ θ(ΣΩ), on ait ψ(Ω,x) ∈ ⊤(M) = x ∈ ⊤(Ω). On établit divers théorèmes concernant l'existence d'automates universels au sens strict et au sens large pour les classes des automates finis, des automates à mémoire empilée et des automates linéaires bornés.

Contexte

Section :

Mathématiques

Thème du colloque :

Mathématiques

Responsables :

Hassime Benjemia

Hôte : Université Laval

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Mathématiques

Mesures de marges données

Gérard Letac

Topologie de Grothendieck et quasi-topologies

S. Takahashi

Automates universels pour diverses classes d’automates mathématiques

Claude Boucher

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Mathématiques

Système à vide, de mesure et de contrôle de pression dans le Tokamak de Varennes

Claude Boucher

Fermeture de classes de langages formels et synthèses de cascades pour les (m,n)-transducteurs

Claude Boucher

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

Claude Boucher