Etude d'extensions des langages déterministes - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2019

Deterministic languages extensions

Etude d'extensions des langages déterministes

Résumé

This thesis aims to study structural properties of automata extending determinism, and the languages that can be denoted by a regular expression of which the position automaton has one such property. If Book et al. showed that all regular languages can be recognized by an unambiguous position automaton, Brüggemann-Klein and Wood showed that only a proper subset of them can be recognized by a deterministic position automaton. We focus on extensions of this subfamily, by seeking to characterize their languages, and to study their internal hierarchy and how they relate to each other.
Cette thèse a pour but d’étudier des propriétés structurelles d’automates étendant celle du déterminisme, et les langages pouvant être dénotés par une expression rationnelle dont l’automate des positions présente l’une de ces propriétés. Si Book et al. ont montré que tous les langages rationnels peuvent être reconnus par un automate des positions non-ambigu, Brüggemann-Klein et Wood ont montré que ceux pouvant l’être par un automate des positions déterministe forment une famille strictement incluse dans celle des rationnels. Nous nous intéressons aux extensions de cette famille, en cherchant à caractériser leurs langages, et à étudier leur hiérarchie interne et leur inclusion entre elles.
Fichier principal
Vignette du fichier
clementmiklarz2.pdf (1.55 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)
Loading...

Dates et versions

tel-02376187 , version 1 (22-11-2019)

Identifiants

  • HAL Id : tel-02376187 , version 1

Citer

Clément Miklarz. Etude d'extensions des langages déterministes. Autre [cs.OH]. Normandie Université, 2019. Français. ⟨NNT : 2019NORMR059⟩. ⟨tel-02376187⟩
433 Consultations
175 Téléchargements

Partager

Gmail Facebook X LinkedIn More