I don't want to demean your work in any way, but what exactly is the problem you are trying to solve? You certainly already know that determining whether two machines are extensionally different is undecidable, so, what kind of ambiguity your choice of a normal form would eliminate?
It's not like people are emailing Turing machines back and forth, it's mostly just a definition.