LAZARD'S ELIMINATION (IN TRACES) IS FINITE-STATE RECOGNIZABLE (Q5292265)
From MaRDI portal
scientific article; zbMATH DE number 5165785
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | LAZARD'S ELIMINATION (IN TRACES) IS FINITE-STATE RECOGNIZABLE |
scientific article; zbMATH DE number 5165785 |
Statements
LAZARD'S ELIMINATION (IN TRACES) IS FINITE-STATE RECOGNIZABLE (English)
0 references
20 June 2007
0 references
trace monoid
0 references
Lazard's elimination
0 references
automata with multiplicities
0 references
