Normal Forms for Elements of ${}^{\ast }$-Continuous Kleene Algebras Representing the Context-Free Languages

Mark Hopkins, Hans Leiß

Within the tensor product $K{\otimes }_{\mathcal{R}}{C}_2^{\prime }$ of any ${}^{\ast }$-continuous Kleene algebra $K$ with the polycyclic ${}^{\ast }$-continuous Kleene algebra $C_2^{\prime }$ over two bracke…