Comment by tomdre

One of my dreams is to do something similar by simplifying neural nets via (bi)simulation (something along the lines of quotient automata).