Estudio de semigrupos, monoides, autómatas y lenguajes formales
En el ámbito de las ciencias de la computación ha surgido un creciente interés en el estudio de los semigrupos y monoides en relación con los autómatas y lenguajes formales. Pretendemos aplicar técnicas de la teoría de grupos y del álgebra universal en el análisis de estos objetos.