Browsing NTNU Open by Author "Alexandrov, Stepan"
Now showing items 1-1 of 1
-
Designing and computing bounds for non-deterministic state machines
Alexandrov, Stepan (Master thesis, 2016)Normally non-deterministic state machines can be transformed into deterministic FSMs, but this does not work if we allow output on non-deterministic state transitions. However, it can be done by executing the ...