Événements du LITIS

Chargement Évènements

« Tous les Évènements

  • Cet évènement est passé

Séminaire Combinatoire et Algorithmes 17 mars 2016 à 14h – UFR ST Madrillet

03/17/2016 @ 14:00 - 17:00

La prochaine séance du Séminaire Combinatoire et Algorithmes aura lieu le jeudi 17 mars  2016 à 14h dans la salle des séminaires située au deuxième étage du bâtiment de la Faculté des Sciences.

Orateur : Serghei VERLAN, Lacl, université de Paris 12.

Titre : Résultats récents sur les systèmes à insertion/effacement

Résumé : Les opérations d’insertion et d’effacement sont des opérations de réécriture contextuelle uv->uxv et uyv->uv. Elles apparaissent (avec certaines restrictions) dans différents domaines comme la théorie des langages formels, la linguistique, la biologie, la vérification et la théorie des noeuds.
Nous présenterons un aperçu rapide de l’état de l’art et des résultats récents dans ce domaine. Nous considérerons plus particulièrement les modèles suivants:
– systèmes sans contexte (le contexte uv est vide).
– systèmes gauchistes à contexte rationnel (u est une expression rationnelle, v est vide et |x|=|y|=1).
– systèmes utilisant un contrôle supplémentaire (par graphe, matriciel, contexte aléatoire ou distribué).
– systèmes agissant sur un alphabet infini.
Nous nous intéresserons à la puissance d’expression et pour chaque modèle cité nous discuterons les résultats de décidabilité, incomplétude, complétude et universalité associés.

Vous pouvez consulter le programme du Séminaire C&A à l’adresse (à coller dans votre navigateur) https://dpt-info-sciences.univ-rouen.fr/index.php/la-recherche/seminaires

Détails

Date :
03/17/2016
Heure :
14:00 - 17:00

Lieu

UFR ST Madrillet – Rouen
Avenue de l'Université
Saint-Étienne-du-Rouvray, 76800 France
+ Google Map
Site Web :
http://www.univ-rouen.fr
Publié dans
commodo Praesent Lorem leo. tempus pulvinar Nullam dapibus mattis amet, venenatis,