Canonical forms for free k-semigroups
The implicit signature kappa consists of the multiplication and the (omega-1)-power. We describe a procedure to transform each kappa-term over a finite alphabet A into a certain canonical form and show that different canonical forms have different interpretations over some finite semigroup. The proc...
| Autor principal: | |
|---|---|
| Formato: | article |
| Idioma: | eng |
| Publicado em: |
2014
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/1822/28883 |
| País: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/28883 |