We will define a weighted automaton over a semiring, give examples and explain how to find a minimal weighted automaton (for certain rings like fields, integers etc.), If time permits we will then discuss how this helps solve the problem of checking whether two weighted automata are equal or not.
