kickaha: (Default)
[personal profile] 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

Profile

kickaha: (Default)
kickaha

January 2020

S M T W T F S
   1234
5678 91011
12131415161718
19202122232425
262728293031 

Style Credit

Expand Cut Tags

No cut tags