The Shortest Identities for Max-Plus Automata with Two States.

DOI10.4230/LIPIcs.MFCS.2017.48zbMath1441.68120OpenAlexW2775224812MaRDI QIDQ5111263

Laure Daviaud, Marianne Johnson

Publication date: 26 May 2020

Full work available at URL: http://openaccess.city.ac.uk/id/eprint/21292/

zbMATH Keywords

identitiesweighted automatatropical matricesmax-plus automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic systems of matrices (15A30) Max-plus and related algebras (15A80)

Related Items (5)

Identities of tropical matrix semigroups and the plactic monoid of rank 4 ⋮ Tropical linear representations of the Chinese monoid ⋮ Identities in upper triangular tropical matrix semigroups and the bicyclic monoid ⋮ Free objects in triangular matrix varieties and quiver algebras over semirings ⋮ Semigroup identities of supertropical matrices

Cites Work

• Unnamed Item
• Semigroup identities of tropical matrix semigroups of maximal rank
• Erratum to: ``Semigroup identities in the monoid of triangular tropical matrices
• Semigroup identities in the monoid of two-by-two tropical matrices.
• Identities in upper triangular tropical matrix semigroups and the bicyclic monoid
• Semigroup identities in the monoid of triangular tropical matrices.
• Size-Change Abstraction and Max-Plus Automata
• THE FINITE BASIS PROBLEM FOR THE MONOID OF TWO-BY-TWO UPPER TRIANGULAR TROPICAL MATRICES
• On the definition of a family of automata
• Identities of the Semigroup of Upper Triangular Tropical Matrices
• Modeling and analysis of timed Petri nets using heaps of pieces
• Performance evaluation of (max,+) automata

This page was built for publication: The Shortest Identities for Max-Plus Automata with Two States.