| 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.
|
|---|