Browsing Diplomové práce - 18101 by Author "Pecka Tomáš"

Now showing items 1-7 of 7

    • Debugger pro Tiny86 

      Author: Filip Gregor; Supervisor: Máj Petr; Opponent: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
      Programátoři často potřebují kontrolovat stav svých programů za běhu. Právě pro tento účel byl vytvořen speciální nástroj zvaný debugger. Přestože je tento nástroj velmi rozšířen, málokdo ví, jak přesně funguje. Částečně ...

    • Konstrukce zásobníkového automatu přijímajícího jazyk daný regulárním stromovým výrazem 

      Author: Pecka Tomáš; Supervisor: Trávníček Jan; Opponent: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-09)
      Tato práce studuje regulárni stromové výrazy, formalismus pro popis regulárnich stromových jazyků. Hlavnim přinosem práce je nový algoritmus pro převod regulárniho stromového výrazu na ekvivalentni zásobnikový automat, ...

    • Konverze stromových konečných automatů na stromové regulární výrazy metodou eliminace stavů 

      Author: Tomáš Dejmek; Supervisor: Trávníček Jan; Opponent: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-09)
      Tato diplomová práce se zabývá stromovými jazyky. Stromový jazyk se skládá z množiny stromů, podobně jako textový jazyk se skládá z množiny textových řetězců. Jelikož byla dokázána rovnost mezi třídou jazyků přijímaných ...

    • Modulární překladač pro TinyC 

      Author: Martin Prokopič; Supervisor: Máj Petr; Opponent: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
      Tato práce popisuje překladač jazyka tinyC do assemberu virtuálního stroje tiny86 (oboje používané v předmětu NIE-GEN). Překladač je implementován v jazyce Scala, je napojen na existující nástroje používané v předmětu, ...

    • Převod konečných stromových automatů na stromové regulární výrazy 

      Author: Jakub Doupal; Supervisor: Trávníček Jan; Opponent: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-06)
      Tato diplomová práce studuje regulární stromové výrazy a metodu převodu ze stromového automatu na regulární stromový výraz pomocí rovnic. Daná metoda je poté implementována v knihovně algoritmů vyvíjené na Katedře teoretické ...

    • Regulární výrazy s rekurzivním zanořením 

      Author: Vojtěch Hruša; Supervisor: Guth Ondřej; Opponent: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-26)
      Tato práce se zabývá regulárními výrazy s rekurzivním zanořením. Jedná se o rozšíření regulárních výrazů možností opakovaného využití podvýrazů v jiných částech výrazu. Mimo jiné i v rámci samotného podvýrazu. Nejprve ...

    • Tiny x86 - Simulator procesorove architektury pro vyukove ucely 

      Author: Ivo Strejc; Supervisor: Máj Petr; Opponent: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-05)
      Tato práce prezentuje tiny x86 architekturu a virtuální stroj, určené jako pomocný nástroj studentům k porozumění technikám kompilování a jejich dopad na výkon programu. V porovnání s již existujícími instrukčními sadami ...