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

DOI10.4230/LIPICS.MFCS.2017.48MaRDI QIDQ5111263zbMATH OpenOpenAlexFDO

Authors Laure Daviaud, Marianne Johnson

Publication date 26 May 2020

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

zbMATH Keywords

tropical matricesidentitiesweighted automatamax-plus automata

Mathematics Subject Classification ID

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

Recommendations

• Max-plus automata
• Size-Change Abstraction and Max-Plus Automata
• A maxmin problem on finite automata
• A contribution to the determinization of max-plus automata
• Performance evaluation of (max,+) automata

Cites work

• Elements of automata theory. Translated from the French by Reuben Thomas
• Erratum to: ``Semigroup identities in the monoid of triangular tropical matrices
• Identities in upper triangular tropical matrix semigroups and the bicyclic monoid
• Identities of the Semigroup of Upper Triangular Tropical Matrices
• Modeling and analysis of timed Petri nets using heaps of pieces
• On the definition of a family of automata
• Performance evaluation of (max,+) automata
• Semigroup identities in the monoid of triangular tropical matrices.
• Semigroup identities in the monoid of two-by-two tropical matrices.
• Semigroup identities of tropical matrix semigroups of maximal rank
• Size-Change Abstraction and Max-Plus Automata
• The finite basis problem for the monoid of two-by-two upper triangular tropical matrices

Cited in

(5)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111263)