Seminár z teoretickej informatiky - Šimon Sádovský (15.11.2019)

v piatok 15.11.2019 o 11:00 hod. v miestnosti M/213

12. 11. 2019 22.03 hod.
Od: Rastislav Královič

Prednášajúci: Šimon Sádovský

Názov: Užitočnosť prídavnej informácie

Termín: 15.11.2019, 11:00 hod., M/213

Abstrakt:
Idea skúmať užitočnosť prídavnej informácie v rámci teórie formálnych jazykov vznikla začiatkom milénia u profesora Rovana na katedre informatiky FMFI UK. Prvé výsledky v tomto smere boli dosiahnuté v [Gaži, Rovan 2008] resp. [Labath, Rovan 2011] pre deterministické konečné automaty resp. pre deterministické zásobníkové automaty. V oboch prípadoch skúmanie viedlo k definovaniu pojmu rozklad (konečného resp. zásobníkového) automatu. Na tieto výsledky nadviazal prednášajúci vo svojej diplomovej práci, ktorej výsledky boli aj publikované v [Rovan, Sádovský 2018], kde skúmal užitočnosť prídavnej informácie v súvislosti s nedeterministickými konečnymi automatmi. Na seminári zhrnieme nové výsledky výskumu užitočnosti prídavnej informácie. Odprezentujeme riešenia otvorených otázok z predošlých prác a taktiež iné možné prístupy k definovaniu pojmu rozkladu konečného automatu.

web: https://beda.dcs.fmph.uniba.sk/seminar