Logo de la Universdad de Valencia Logo Oferta Científico Tecnológica Logo del portal

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