Universidad de ValenciaOferta Científico Tecnológica AgroalimentaciónOferta Científico Tecnológica Agroalimentación Logo del portal

Estudio de semigrupos, monoides, autómatas y lenguajes formales

Descripción

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.

Palabras clave

semigrupo, monoide, autómata, lenguaje formal, teorema de Eilenberg, clase de grupos