3 ms·
After working with state transition tables I've got an opinion that much more often than not they're write only :( Large tables are quite hard to understand, e
by galkk 6y ago
After working with state transition tables I've got an opinion that much more often than not they're write only :(
Large tables are quite hard to understand, especially if there's no tooling around that, or the tooling was one-off hack and now it's lost
- baq 6y agoI guess if you get there it’s enough of a reason to pull out the TLA+ nuclear weapon.
- shakezula 6y agoExactly my thought. if your state modeling is so in-depth and advanced, either decompose it into smaller state tables and analyze those individually or go full-formal with TLA+.
- airbreather 6y agoWhat you are seeing is the "state explosion". Once you get to the need for hierarchical state machines, finding the optimum decomposition into system/sub-systems and choice of this breakdown is by far the hardest part of and sizeable state machine implementation, in my experience.