Na tentativa de generalizar um resultado de Groves e Smith, onde se obtem um sistema de reescrita co
Na tentativa de generalizar um resultado de Groves e Smith, onde se obtem um sistema de reescrita completo para um grupo partindo de um tal sistema para um seu subgrupo de índice finito, chegamos ao conceito de semigrupos (0-)univocamente factorizáveis. Esta generalização permitiu, em particular, estabelecer um resultado análogo para semigrupos completamente (0-)simples. Neste seminário pretendemos ilustrar os resultados e conceitos anteriormente mencionados.
Date and Venue
Start Date
Venue
Sala 0.05 – DMP/FCUP
Speaker
António Malheiro
(FCTUNL / CAUL)
(FCTUNL / CAUL)
Area
Semigroups, Automata and Languages