Skip to Main content Skip to Navigation
Theses

Machines de Mealy, (semi-)groupes d’automate, problèmes de décision et génération aléatoire

Abstract : In this thesis, we study Mealy automata, i.e. complete, deterministic, letter-to-letter transducers which have same input and output alphabet. These automata have been used since the 60s to generate (semi)groups that sometimes have remarkable properties, that were used to solve several open problems in (semi)group theory. In this work, we focus more specifically on the possible contributions that theoretical computer science can bring to the study of these automaton (semi)groups. The thesis consists of two main axis. The first one, which corresponds to the Chapters II and III, deals with decision problems and more precisely with the Burnside problem in Chapter II and with singular points in Chapter III. In these two chapters, we link structural properties of the automaton with properties of the generated group or of its action. The second axis, which comprises the Chapter IV, is related with random generation of finite groups. We seek, by drawing random Mealy automata in specific classes, to generate finite groups, and obtain a convergence result for the resulting distribution. This result echoes Dixon’s theorem on random permutation groups.
Complete list of metadatas

Cited literature [110 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01659453
Contributor : Thibault Godin <>
Submitted on : Friday, December 8, 2017 - 2:10:20 PM
Last modification on : Friday, April 10, 2020 - 5:28:34 PM

File

Godin_Thibault_1_va_20170713.p...
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01659453, version 1

Citation

Thibault Godin. Machines de Mealy, (semi-)groupes d’automate, problèmes de décision et génération aléatoire. Théorie et langage formel [cs.FL]. Université Sorbonne Paris Cité, 2017. Français. ⟨tel-01659453⟩

Share

Metrics

Record views

213

Files downloads

562