|
|
Deep Pushdown Automata and Their Restricted Versions
Charvát, Lucie ; Kučera, Jiří (referee) ; Meduna, Alexandr (advisor)
Pro přirozené číslo n, n-expandovatelné hluboké zasobníkové automaty vždy obsahují maximálně n výskytů nevstupních symbolů v jejich zásobníku v průběhu jakékoli kompilace. Jako hlavní výsledek, tato práce demonstruje, že tyto automaty mají stejnou vyjadřovací sílu jako automaty s #, nacházející pouze na dně zásobníku, a jediným dalším nevstupním symbolem. Z tohoto závěru vyplývá nekonečná hierarchie jazyků přijímaných těmito automaty.
|
|
| |
|
|
Development of Application for Mutliple Mobile Platforms
Seidl, Viktor ; Charvát, Lucie (referee) ; Křivka, Zbyněk (advisor)
In general, there are several platforms for mobile application development. This bachelor thesis is also related to the development of applications for platforms such as Android, iOS and Windows Phone. Xamarin technology is a suitable tool for unifying all three platforms. Xamarin belongs to the technology of .NET framework and it is based on the open-source Mono project. With this technology, an application called Mobilní Objednávání Kredit 2 was created for the bachelor thesis. The application serves for ordering meals in the Kredit system from ANETE spol. s r.o. For the purpose of this work, the application was improved for the Android platform and then compared to the available version of the application developed in the Java programming language. The application was successfully programmed for Android and iOS platforms and then uploaded to the appropriate stores on the platforms where the applications are offered to users.
|
|
|
Development of Application for Mutliple Mobile Platforms
Seidl, Viktor ; Charvát, Lucie (referee) ; Křivka, Zbyněk (advisor)
In general, there are several platforms for mobile application development. This bachelor thesis is also related to the development of applications for platforms such as Android, iOS and Windows Phone. Xamarin technology is a suitable tool for unifying all three platforms. Xamarin belongs to the technology of .NET framework and it is based on the open-source Mono project. With this technology, an application called Mobilní Objednávání Kredit 2 was created for the bachelor thesis. The application serves for ordering meals in the Kredit system from ANETE spol. s r.o. For the purpose of this work, the application was improved for the Android platform and then compared to the available version of the application developed in the Java programming language. The application was successfully programmed for Android and iOS platforms and then uploaded to the appropriate stores on the platforms where the applications are offered to users.
|
|
|
Deep Pushdown Automata and Their Restricted Versions
Charvát, Lucie ; Kučera, Jiří (referee) ; Meduna, Alexandr (advisor)
Pro přirozené číslo n, n-expandovatelné hluboké zasobníkové automaty vždy obsahují maximálně n výskytů nevstupních symbolů v jejich zásobníku v průběhu jakékoli kompilace. Jako hlavní výsledek, tato práce demonstruje, že tyto automaty mají stejnou vyjadřovací sílu jako automaty s #, nacházející pouze na dně zásobníku, a jediným dalším nevstupním symbolem. Z tohoto závěru vyplývá nekonečná hierarchie jazyků přijímaných těmito automaty.
|
|
| |
guest ::
RSS feed.