This is an exercise proposed by Timothy Gowers: Write down all you think of while trying to solve a math problem.
18 July 2014
12 July 2014
In this post I present the minimization problem for weighted automata, closely following a paper by Stefan Kiefer and Björn Wachter. I do add lots of steps that aren't necessary. To me, they make the result look less like magic. I really like the mixture of automata and linear algebra.