Colloque

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

Claude Boucher

Membre a labase

Claude Boucher

Résumé du colloque

Un (m,n)-transducteur est un modèle mathématique d'une machine à calculer munie d'un certain nombre de rubans d'entrée et de sortie. On peut étudier un certain nombre de sous-espèces du modèle général : les transducteurs déterministes ou non-déterministes, les transducteurs à une ou deux directions qui peuvent lire l'une ou l'autre des extrémités de leurs rubans d'entrée, les transducteurs à sortie multiple qui peuvent émettre plus d'un mot en réponse à un symbole d'entrée. On étudie les propriétés de fermeture de m-types de langages régis ou indépendants du contexte sous ces transducteurs. On examine également un problème qui consiste à remplacer une cascade de transducteurs par un transducteur qui accomplirait la même tâche.

Contexte

Section :

Mathématiques et statistiques

Thème du colloque :

Mathématiques et statistiques

Hôte : Université Laval

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Mathématiques et statistiques

Le calcul fonctionnel et la théorie des fonctions hypergéométriques généralisées

R. Tremblay

Applications de la théorie des points extrémaux à l'analyse

S. Dubuc

Estimation de la vie utile d'un système

Georges Chassé

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Mathématiques et statistiques

Développement de diagnostics et de modèles pour l'étude du "recyclage" 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

Automates universels pour diverses classes d'automates mathématiques

Claude Boucher