| dc.contributor.advisor | Koubek, Václav | |
| dc.creator | Juračka, Matej | |
| dc.date.accessioned | 2017-05-08T13:16:46Z | |
| dc.date.available | 2017-05-08T13:16:46Z | |
| dc.date.issued | 2011 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.11956/49450 | |
| dc.description.abstract | Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak i všech přípravních tvrzení, které k němu vedou. Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak i všech přípravních tvrzení, které k němu vedou. Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak i všech přípravních tvrzení, které k němu vedou. | cs_CZ |
| dc.description.abstract | 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. | en_US |
| dc.language | Slovenčina | cs_CZ |
| dc.language.iso | sk_SK | |
| dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
| dc.subject | vzt'ah determinizmu a nedeterminizmu | cs_CZ |
| dc.subject | alternujuci Turingov stroj | cs_CZ |
| dc.subject | separacia tried zlozitosti | cs_CZ |
| dc.subject | relation of determinism and non-determinism | en_US |
| dc.subject | alternating Turing machine | en_US |
| dc.subject | separation of complexity classes | en_US |
| dc.title | Vztah determinismu a nedeterminismu pro lineární čas | sk_SK |
| dc.type | diplomová práce | cs_CZ |
| dcterms.created | 2011 | |
| dcterms.dateAccepted | 2011-09-05 | |
| dc.description.department | Department of Theoretical Computer Science and Mathematical Logic | en_US |
| dc.description.department | Katedra teoretické informatiky a matematické logiky | cs_CZ |
| dc.description.faculty | Faculty of Mathematics and Physics | en_US |
| dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
| dc.identifier.repId | 98212 | |
| dc.title.translated | Relation of determinism and non-determinism for linear time | en_US |
| dc.title.translated | Vztah determinismu a nedeterminismu pro lineární čas | cs_CZ |
| dc.contributor.referee | Kučera, Petr | |
| dc.identifier.aleph | 001384090 | |
| thesis.degree.name | Mgr. | |
| thesis.degree.level | navazující magisterské | cs_CZ |
| thesis.degree.discipline | Theoretical Computer Science | en_US |
| thesis.degree.discipline | Teoretická informatika | cs_CZ |
| thesis.degree.program | Computer Science | en_US |
| thesis.degree.program | Informatika | cs_CZ |
| uk.thesis.type | diplomová práce | cs_CZ |
| uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra teoretické informatiky a matematické logiky | cs_CZ |
| uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Theoretical Computer Science and Mathematical Logic | en_US |
| uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
| uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
| uk.faculty-abbr.cs | MFF | cs_CZ |
| uk.degree-discipline.cs | Teoretická informatika | cs_CZ |
| uk.degree-discipline.en | Theoretical Computer Science | en_US |
| uk.degree-program.cs | Informatika | cs_CZ |
| uk.degree-program.en | Computer Science | en_US |
| thesis.grade.cs | Velmi dobře | cs_CZ |
| thesis.grade.en | Very good | en_US |
| uk.abstract.cs | Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak i všech přípravních tvrzení, které k němu vedou. Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak i všech přípravních tvrzení, které k němu vedou. Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak i všech přípravních tvrzení, které k němu vedou. | cs_CZ |
| uk.abstract.en | 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. | en_US |
| uk.publication.place | Praha | cs_CZ |
| uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra teoretické informatiky a matematické logiky | cs_CZ |
| dc.identifier.lisID | 990013840900106986 | |
