Please use this identifier to cite or link to this item:
https://hdl.handle.net/10216/107465
Author(s): | Almeida, J Zeitoun, M. Costa, J. C. |
Title: | McCammond's normal forms for free aperiodic semigroups revisited |
Issue Date: | 2015 |
Abstract: | This paper revisits the solution of the word problem for w-terms interpreted over finite aperiodic semigroups, obtained by J. McCammond. The original proof of correctness of McCammond's algorithm, based on normal forms for such terms, uses McCammond's solution of the word problem for certain Burnside semigroups. In this paper, we establish a new, simpler, correctness proof of McCammond's algorithm, based on properties of certain regular languages associated with the normal forms. This method leads to new applications. |
URI: | https://hdl.handle.net/10216/107465 |
Document Type: | Artigo em Revista Científica Internacional |
Rights: | openAccess |
Appears in Collections: | FCUP - Artigo em Revista Científica Internacional |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
213161.pdf | 320.01 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.