Nie jesteś zalogowany |
Word problems
- Prelegent(ci)
- Piotr Hoffman
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 31 maja 2006 14:15
- Pokój
- p. 5870
- Seminarium
- Seminarium „Teoria automatów”
The talk will be an introduction to the world of word problems, in particular word problems for varieties of semigroups. Attention will be paid especially to commutative semigroups (reversible Petri nets). I intend to prove Redei's Theorem on finitely generated commutative semigroups and, if time allows, the decidability of the (uniform) word problem for commutative semigroups and the undecidability of the uniform word problem for finite semigroups.
