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...

Full description

Bibliographic Details
Main Author: Costa, José Carlos (author)
Format: article
Language:eng
Published: 2014
Subjects:
Pseudovariety
Implicit signature
k-term
Word problem
McCammond's normal form
Finite semigroup
k-semigroup
Regular language
kappa-term
kappa-semigroup
?-semigroup
?-term
Science & Technology
Online Access:http://hdl.handle.net/1822/28883
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/28883

Internet

http://hdl.handle.net/1822/28883

Similar Items