Alright, that does it.

[kickaha]

I'm going to throw humility to the wind.

I rock.

No, I *FUCKING* rock.



I just unified Mealy-Moore/infinite transducer machines into object-oriented theory as a freakin' side-effect of my research.

"Okay, so if I concentrate on the similarity intent on *this* side of the equation's parameters, I get..." *blink* "Wait. That looks... familiar..."



*bounce bounce bounce*



I now have a formal basis not only for every goddamned software metric I've ever seen, but a new way of looking at OO in general... Mealy-Moore machines became the basis for modern electrical engineering. They gave the foundation for allowing incremental analysis of systems in a meaningful way - something software doesn't have.

ITMs were a 1956 creation that went nowhere - but on reading the original paper, it struck me how similar they were in feel to OO. I made some notes, left it alone.

I just came full-circle.

ITMs and Mealy-Moore machines are fundamentally the same thing. Which means that there is now a formal basis for incremental analysis of software systems at a design level for things that have been passed over as not only too difficult, but probably impossible to actually do.

See, ITMs are an offshoot of Turing's c-machine idea... oh, my head is swimming.

Off to see where this stream takes me. :D

Comments

WeeeeeeHA!

[flinx.livejournal.com]

Now, if only I understood about the third of that which I didn't get, I'd be cheering you on even harder.

Yes, you DO rock.