Iterated periodicity in pseudowords over finite aperiodic semigroups
 
 
Description:  We provide a characterization of pseudowords over the pseudovariety of all finite aperiodic semigroups that are given by $\omega$-terms, that is that can be obtained from the free generators using only multiplication and the $\omega$-power. A necessary and sufficient condition for this property to hold turns out to be given by the conjunction of two rather simple finiteness conditions: the nonexistence of infinite anti-chains of factors and the rationality of the language of McCammond normal forms of $\omega$-terms that define factors.
Area(s): Seminar of the research project ASA - Automata, Semigroups and Applications
Date:  2008-02-29
Start Time:   16.30
Speaker:  Jorge Almeida (CMUP/U. Porto)
Place:  Sala 5.5
URL:  http://cmup.fc.up.pt/cmup/ASA/
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support