A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring

DOI10.1016/0304-3975(94)90276-3zbMath0823.68051OpenAlexW2031095246MaRDI QIDQ1341738

Agnès Bonnier-Rigny, Daniel Krob

Publication date: 16 February 1995

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)90276-3

zbMATH Keywords

tropical semiring

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45)

Related Items (15)

Equational theories of tropical semirings ⋮ Methods and applications of (max,+) linear algebra ⋮ Axiomatizing rational power series over natural numbers ⋮ On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra ⋮ The equational logic of fixed points ⋮ On the ultimate behaviour of the sequence of consecutive powers of a matrix in the max-plus algebra ⋮ Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton ⋮ The set of realizations of a max-plus linear sequence is semi-polyhedral ⋮ Series which are both max-plus and min-plus rational are unambiguous ⋮ Entropy of tropical holonomic sequences ⋮ Tropical recurrent sequences ⋮ On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based ⋮ Unnamed Item ⋮ Max-plus automata ⋮ Unique, guarded fixed points in an additive setting

Cites Work

• Limitedness theorem on finite automata with distance functions
• Complete systems of \(\mathcal B\)-rational identities
• The free partially commutative Lie algebra: Bases and ranks
• DIFFERENTIATION OF K-RATIONAL EXPRESSIONS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring