• norsk
    • English
  • English 
    • norsk
    • English
  • Login
View Item 
  •   Home
  • Fakultet for informasjonsteknologi og elektroteknikk (IE)
  • Institutt for elektroniske systemer
  • View Item
  •   Home
  • Fakultet for informasjonsteknologi og elektroteknikk (IE)
  • Institutt for elektroniske systemer
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Designing and computing bounds for non-deterministic state machines

Alexandrov, Stepan
Master thesis
Thumbnail
View/Open
14755_FULLTEXT.pdf (7.458Mb)
14755_COVER.pdf (1.556Mb)
URI
http://hdl.handle.net/11250/2406376
Date
2016
Metadata
Show full item record
Collections
  • Institutt for elektroniske systemer [2215]
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
Publisher
NTNU

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit
 

 

Browse

ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDocument TypesJournalsThis CollectionBy Issue DateAuthorsTitlesSubjectsDocument TypesJournals

My Account

Login

Statistics

View Usage Statistics

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit