Rational relations and rational series (Q1194313)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Rational relations and rational series |
scientific article; zbMATH DE number 64223
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rational relations and rational series |
scientific article; zbMATH DE number 64223 |
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
