Now showing items 1-3 of 3

    • Kongruence na konečných automatech 

      Author: Grimová Nela; Supervisor: Demlová Marie; Opponent: Mařík Radek
      Cílem této práce je seznámení s kongruencemi na konečných automatech, a to zejména se elementární stavovou kongruencí. Jsou zde popsány algoritmy na konstrukci této kongruence a následně jsou diskutovány jejich výsledky ...
    • Metro-Line Crossing Minimization Problem na turistických trasách KČT 

      Author: Ryšavý Petr; Supervisor: Černoch Radomír; Opponent: Demlová Marie
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-07-04)
    • Sekvence pro identifikaci stavu konečných automatů 

      Author: Soucha Michal; Supervisor: Mařík Radek; Opponent: Demlová Marie
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)