Finite automata, a crossroad of language theory, algebra and logic
Date(s) : 23/10/2024 iCal
10h30 - 12h00
In symbolic dynamics, we like having a finite object generating a language, i.e. a set of (in)finite words. In this talk we will focus on a very nice example : finite automata. We will give two other ways to understand the class of languages generated by them : one is based on an intuitive description of languages, the other is based on logic. Then, by tweaking the definitions, we will see how we obtain more interesting languages.
Catégories
