Normal forms for elements of the *-continuous Kleene algebras \(K{\otimes_\mathcal{R}}C_2'\) (Q6174418)
From MaRDI portal
scientific article; zbMATH DE number 7728636
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Normal forms for elements of the *-continuous Kleene algebras \(K{\otimes_\mathcal{R}}C_2'\) |
scientific article; zbMATH DE number 7728636 |
Statements
Normal forms for elements of the *-continuous Kleene algebras \(K{\otimes_\mathcal{R}}C_2'\) (English)
0 references
17 August 2023
0 references
*-continuous Kleene algebra
0 references
polycyclic Kleene algebra
0 references
centralizer
0 references
normal form of automaton
0 references
context-free expression
0 references
