Ancillary-file links:
Ancillary files (details):
Current browse context:
cs.FL
Change to browse by:
References & Citations
Computer Science > Formal Languages and Automata Theory
Title: Polynomial time multiplication and normal forms in free bands
(Submitted on 12 Sep 2022 (v1), last revised 22 Mar 2023 (this version, v3))
Abstract: We present efficient computational solutions to the problems of checking equality, performing multiplication, and computing minimal representatives of elements of free bands. A band is any semigroup satisfying the identity $x ^ 2 \approx x$ and the free band $\operatorname{FB}(k)$ is the free object in the variety of $k$-generated bands. Radoszewski and Rytter developed a linear time algorithm for checking whether two words represent the same element of a free band. In this paper we describe an alternate linear time algorithm for checking the same problem. The algorithm we present utilises a representation of words as synchronous deterministic transducers that lend themselves to efficient (quadratic in the size of the alphabet) multiplication in the free band. This representation also provides a means of finding the short-lex least word representing a given free band element with quadratic complexity.
Submission history
From: James Mitchell [view email][v1] Mon, 12 Sep 2022 15:43:10 GMT (125kb,A)
[v2] Thu, 26 Jan 2023 13:25:36 GMT (123kb,A)
[v3] Wed, 22 Mar 2023 10:34:10 GMT (122kb,A)
Link back to: arXiv, form interface, contact.