可以用黎曼对称空间替代formula_75，并从它的等距群选出转移函数。形式语言的语法幺半群同构于到接受这个语言的极小自动机的转移幺半群。
范畴Act.定义右作用的代数关系形成了一个范畴Act。对象是"M"-act，而范畴的态射是"M"-同态。