Publication

A mealy machine with polynomial growth of irrational degree

2008
Journal Articles

Abstract

We consider a very simple Mealy machine ( two nontrivial states over a two-symbol alphabet), and derive some properties of the semigroup it generates. It is an infinite, finitely generated semigroup, and we show that the growth function of its balls behaves asymptotically like l(alpha), for alpha = 1 + log 2/log 1+root 5/2 ; that the semigroup satisfies the identity g(6) = g(4); and that its lattice of two-sided ideals is a chain.

Official source

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

2008
Journal Articles

Abstract

Official source

Related concepts (32)

Semigroup

In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. The binary operation of a semigroup is most often denoted multiplicatively (just notation, not necessarily the elementary arithmetic multiplication): x·y, or simply xy, denotes the result of applying the semigroup operation to the ordered pair (x, y). Associativity is formally expressed as that (x·y)·z = x·(y·z) for all x, y and z in the semigroup.

Monogenic semigroup

In mathematics, a monogenic semigroup is a semigroup generated by a single element. Monogenic semigroups are also called cyclic semigroups. The monogenic semigroup generated by the singleton set {a} is denoted by . The set of elements of is {a, a2, a3, ...}. There are two possibilities for the monogenic semigroup : am = an ⇒ m = n. There exist m ≠ n such that am = an. In the former case is isomorphic to the semigroup ({1, 2, ...}, +) of natural numbers under addition.

Semigroup with involution

In mathematics, particularly in abstract algebra, a semigroup with involution or a *-semigroup is a semigroup equipped with an involutive anti-automorphism, which—roughly speaking—brings it closer to a group because this involution, considered as unary operator, exhibits certain fundamental properties of the operation of taking the inverse in a group: uniqueness, double application "cancelling itself out", and the same interaction law with the binary operation as in the case of the group inverse.

Related publications (19)

A mealy machine with polynomial growth of irrational degree

Chat with Graph Search

The multivariate Serre conjecture ring

Covers Of Rational Double Points In Mixed Characteristic

Review of control strategies for lower-limb exoskeletons to assist gait