Feedback

Faculté des Sciences
Faculté des Sciences
Mémoire

La complexité en états d'opérations régulières

Télécharger
Testa, Coralie ULiège
Promoteur(s) : Massuir, Adeline ULiège
Date de soutenance : 30-jui-2022 • URL permanente : http://hdl.handle.net/2268.2/14656
Détails
Titre : La complexité en états d'opérations régulières
Titre traduit : [en] The state complexity of regular operations
Auteur : Testa, Coralie ULiège
Date de soutenance  : 30-jui-2022
Promoteur(s) : Massuir, Adeline ULiège
Membre(s) du jury : Charlier, Emilie ULiège
Esser, Céline ULiège
Stipulanti, Manon ULiège
Langue : Français
Nombre de pages : 95
Mots-clés : [fr] Complexité en états
[fr] Modificateur
[fr] Automate monstre
Discipline(s) : Physique, chimie, mathématiques & sciences de la terre > Mathématiques
Public cible : Chercheurs
Professionnels du domaine
Etudiants
Institution(s) : Université de Liège, Liège, Belgique
Diplôme : Master en sciences mathématiques, à finalité approfondie
Faculté : Mémoires de la Faculté des Sciences

Résumé

[fr] Dans un premier temps, nous présentons les opérations 1-uniformes et les modificateurs qui permettent de lier des opérations sur des langages avec des opérations agissant sur des automates finis déterministes. Ensuite, nous parlons des automates monstres qui ont la particularité d’avoir de grands alphabets. Une méthode permettant de calculer la complexité en états en utilisant les modificateurs et les monstres sera donnée et appliquée. Finalement, nous abordons une classe particulière de modificateurs, ceux-ci sont appelés modificateurs amicaux et nous calculons la complexité en états maximale d’opérations amicales.


Fichier(s)

Document(s)

File
Access Memoire_Testa.pdf
Description:
Taille: 1.15 MB
Format: Adobe PDF

Auteur

  • Testa, Coralie ULiège Université de Liège > Master sc. math., à fin.

Promoteur(s)

Membre(s) du jury

  • Charlier, Emilie ULiège Université de Liège - ULiège > Département de mathématique > Mathématiques discrètes
    ORBi Voir ses publications sur ORBi
  • Esser, Céline ULiège Université de Liège - ULiège > Département de mathématique > Analyse math. et ses interactions avec la théorie des prob.
    ORBi Voir ses publications sur ORBi
  • Stipulanti, Manon ULiège Université de Liège - ULiège > Département de mathématique > Mathématiques discrètes
    ORBi Voir ses publications sur ORBi








Tous les documents disponibles sur MatheO sont protégés par le droit d'auteur et soumis aux règles habituelles de bon usage.
L'Université de Liège ne garantit pas la qualité scientifique de ces travaux d'étudiants ni l'exactitude de l'ensemble des informations qu'ils contiennent.