No label defined (Q3153202)

The authors consider vector valued operations. More precisely, let \(B\) be a nonempty set and let \(\{\;\}\colon B^{n+k}\to B^n\) be a map (\(B^i\) denotes the \(i\)-th Cartesian power of \(B\)). Then \((B,\{\;\})\) is an \((n+k,n)\)-groupoid. An \((n+k,n)\)-groupoid \((B,\{\;\})\) is called an \((n+k,n)\)-semigroup or vector valued semigroup if \(\{\{x_1^{n+k}\}x_{n+k+1}^{n+2k}\}=\{x_1^j\{x_{j+1}^{j+n+k}\}x_{j+n+k+1}^{n+2k}\}\) for every \(1\leq j\leq k\). They define vector valued \((n+k,n)\)-automata on a vector valued free \((n+k,n)\)-semigroup and study vector valued \((n+k,n)\)-formal languages recognized by them (\(1\leq k\leq n\)). For the entire collection see [Zbl 0981.00012].