El Col·loqui del Departament de Matemàtiques, març 2024
El dimecres dia 13 de març, a les 12, a l'aula A1 del CRM tindrà lloc el Col·loqui del Departament de matemàtiques titulat "Autòmats de Stallings: un camí d'anada i tornada". Anirà a càrrec del professor Enric Ventura de la Universitat Politècnica de Catalunya.
Resum:
En aquest col·loqui revisarem la construcció dels grups lliures i algunes de les sevespropietats fonamentals. A continuació presentarem la teoria dels autòmats deStallings, i veurem com d’útil és aquesta eina geomètrica per estudiar el reticle desubgrups d’un grup lliure. En particular, plantejarem el problema de la pertinença i elproblema de la intersecció per a grups lliures, ambdós d’aparença molt complicada sis’observen sense eines, usant algoritmes força senzills, bonics i fàcils d’entendre.