Result of this work is a reconstruction of proof, that non-deterministic linear time is strictly more powerful than deterministic linear time. We focus on completeness and clarity either of proof itself, either of all auxiliary propositions, which lead to this result.
Identifer | oai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:313739 |
Date | January 2011 |
Creators | Juračka, Matej |
Contributors | Koubek, Václav, Kučera, Petr |
Source Sets | Czech ETDs |
Language | Slovak |
Detected Language | English |
Type | info:eu-repo/semantics/masterThesis |
Rights | info:eu-repo/semantics/restrictedAccess |
Page generated in 0.0729 seconds