automata_min_plus (518B)
1 # Min-plus automata 2 3 [Weighted_automata] in the [tropical_semiring] 4 5 The [deterministic_automata] in this model are less powerful than the [nondeterministic_automata] 6 7 It is [decidable] whether an input min-plus automata is equivalent to a [deterministic_automaton] in this setting, cf [almagor2025determinization] and [almagor2026complexity] 8 9 Up: [automata_weighted] 10 11 See also: [min_plus_matrix_multiplication], [Tropical_semiring] 12 13 Aliases: minplus automata, min plus automata, minplus automaton, min plus automaton