In this section, in order to simplify the presentation we will only consider machines over the tropical semiring (R + ∪ {∞}, min, +, ∞, 0).
for each operation, we will specify in which semirings it can be applied.