Rational relations and rational series (Q1194313)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rational relations and rational series |
scientific article |
Statements
Rational relations and rational series (English)
0 references
27 September 1992
0 references
The paper deals with noncommutative rational series over an alphabet \(A\) with multiplicities in subsemirings of Rat \(B^*\). It is especially devoted to Fatou extension problems and usual decidability questions (equivalence, intersection, finiteness) concerning such series. It is proved in particular that the intersection problem is undecidable for rational series over the semiring of finite subsets of a one-letter alphabet.
0 references
rational relation
0 references
tropical semiring
0 references
decision problem
0 references
rational series
0 references
semiring
0 references
0 references
