| Dic ’18 |
| 18 |
| 12:30 |
El proper dimarts 18 de desembre de 2018, a les 12.30, a la sala de graus «Manuel Valdivia» de la Facultat de Ciències Matemàtiques de la Universitat de València es durà a terme la defensa de la tesi doctoral de Vicent Pérez Calabuig amb títol «A reduction theorem for the generalised Rhodes’ Type II Conjecture» dirigida per Adolfo Ballester Bolinches.
Esteu tots convidats.
The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:
Adolfo Ballester-Bolinches, Jean-Éric Pin, Xaro Soler-Escrivà
Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited
Forum Math., 26(6) (2014), 1737–1761
http://dx.doi.org/10.1515/forum-2012-0055
Abstract
We present an extension of Eilenberg’s variety theorem, a well-known result connecting algebra to formal languages. We prove that there is a bijective correspondence between formations of finite monoids and certain classes of languages, the formations of languages. Our result permits to treat classes of finite monoids which are not necessarily closed under taking submonoids, contrary to the original theory. We also prove a similar result for ordered monoids.
2010 Mathematics subject classification: 20D10; 20M35
Keywords: Group formations; regular languages; semigroups; automata theory