@MastersThesis{   sasarakova,
  Author        = "Sasar{\'a}kov{\'a}, Miriama",
  date-added    = "2019-11-06 16:57:29 +0100",
  date-modified = "2019-11-06 17:01:08 +0100",
  Note          = {T{\'a}to pr{\'a}ca roz{\v s}iruje defin{\'\i}cie dopredn{\'y}ch, sp{\"a}tn{\'y}ch a k-lookahead simula{\v c}n{\'y}ch rel{\'a}ci{\'\i} pre zov{\v s}eobecnen{\'y} B{\"u}chiho automat s akcept{\'a}ciou na hran{\'a}ch (TGBA). N{\'a}sledne poskytuje n{\'a}vrh implement{\'a}cie doprednej-priamej a sp{\"a}tnej simula{\v c}nej rel{\'a}cie s vyu{\v z}it{\'\i}m paritn{\'y}ch hier. Vybran{\'e} simul{\'a}cie boli vyu{\v z}it{\'e} v algoritmoch (kvocientovanie a odstra{\v n}ovanie hr{\'a}n) za {\'u}{\v c}elom zjednodu{\v s}enia stavov{\'e}ho priestoru automatov. Nakoniec boli vybran{\'e} simul{\'a}cie a algoritmy experiment{\'a}lne vyhodnoten{\'e} a porovnan{\'e} so simul{\'a}ciami v SPOTE.},
  School        = "Masaryk University",
  Title         = "Reduction of Omega-Automata Using k-Lookahead Simulations",
  Year          = "2018",
  File          = "Reduction of Omega-Automata Using k-Lookahead Simulations - thesis\_x424615 - a - a - z.pdf"
}

@MastersThesis{ sasarakova, Author = "Sasar{\'a}kov{\'a}, Miriama", date-added = "2019-11-06 16:57:29 +0100", date-modified = "2019-11-06 17:01:08 +0100", Note = {T{\'a}to pr{\'a}ca roz{\v s}iruje defin{\'\i}cie dopredn{\'y}ch, sp{\"a}tn{\'y}ch a k-lookahead simula{\v c}n{\'y}ch rel{\'a}ci{\'\i} pre zov{\v s}eobecnen{\'y} B{\"u}chiho automat s akcept{\'a}ciou na hran{\'a}ch (TGBA). N{\'a}sledne poskytuje n{\'a}vrh implement{\'a}cie doprednej-priamej a sp{\"a}tnej simula{\v c}nej rel{\'a}cie s vyu{\v z}it{\'\i}m paritn{\'y}ch hier. Vybran{\'e} simul{\'a}cie boli vyu{\v z}it{\'e} v algoritmoch (kvocientovanie a odstra{\v n}ovanie hr{\'a}n) za {\'u}{\v c}elom zjednodu{\v s}enia stavov{\'e}ho priestoru automatov. Nakoniec boli vybran{\'e} simul{\'a}cie a algoritmy experiment{\'a}lne vyhodnoten{\'e} a porovnan{\'e} so simul{\'a}ciami v SPOTE.}, School = "Masaryk University", Title = "Reduction of Omega-Automata Using k-Lookahead Simulations", Year = "2018", File = "Reduction of Omega-Automata Using k-Lookahead Simulations - thesis_x424615 - a - a - z.pdf" }