Blar i NTNU Open på forfatter "Alexandrov, Stepan"
-
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 ...