3 ms·
But the goal is only to work for the finite number of possible inputs allowed by the input types. There's no reason a finite machine has to fail on those.
by tgb 10y ago
But the goal is only to work for the finite number of possible inputs allowed by the input types. There's no reason a finite machine has to fail on those.
- Retric 10y agoTry to pass in data with zero bits of free memory.
- mrich 10y agoThat should still result in a clean error, not some kind of undefined behavior.
- tgb 10y agoIt's not impossible to guarantee that a system has sufficient memory for all possible inputs. Look at high stakes embedded software development. You need more control than you get as an application on a desktop computer but there's nothing inherent about finite state machines that make them vulnerable.