Meno: | Ján
|
---|
Priezvisko: | Priner
|
---|
Názov: | Neuniformné modely výpočtov
|
---|
Vedúci: | prof. RNDr. Rastislav Kráľovič, PhD.
|
---|
Rok: | 2023
|
---|
Kľúčové slová: | zásobníkový automat, konečný automat, pomocná informácia, po- radná páska
|
---|
Abstrakt: | Táto práca sa venuje modelu zásobníkových automatov s pomocnou informáciou na
dodatočnej páske závislej od dĺžky vstupného slova. Porovnáme silu tohto modelu
s modelom konečných automatov s poradnou páskou zavedeným Küçükom et al. Uká-
žeme existenciu hierarchií v závislosti od dĺžky pomocnej informácie. Preskúmame
uzáverové vlastnosti tohto modelu. Ukážeme ako sa vlastnosti modelu líšia medzi
deterministickým a nedeterministickým variantom nášho modelu.
|
---|