Designing and computing bounds for non-deterministic state machines
dc.contributor.advisor | Svarstad, Kjetil | |
dc.contributor.author | Alexandrov, Stepan | |
dc.date.created | 2016-06-10 | |
dc.date.issued | 2016 | |
dc.identifier | ntnudaim:14755 | |
dc.identifier.uri | http://hdl.handle.net/11250/2406376 | |
dc.description.abstract | 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 non-deterministic alternatives in parallel keeping the conflicting outputs in a multiplex. We have developed a theoretical mechanism for executing non-deterministic state machines by cloning machines that represent different computational outcomes for future inputs for exactly this purpose | |
dc.language | eng | |
dc.publisher | NTNU | |
dc.subject | Embedded Computing Systems | |
dc.title | Designing and computing bounds for non-deterministic state machines | |
dc.type | Master thesis |