Why We Need Semirings in Automata Theory (Extended Abstract)