Fakulta matematiky, fyziky
a informatiky
Univerzita Komenského v Bratislave

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

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


22. 10. 2018 11.21 hod.
Od: Rastislav Královič

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

Názov:  On Usefulness of Information: Framework and NFA Case

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


Abstrakt:
In the presentation we present a brief overview of the results of our research aimed at identifying and formalising various aspects of the notion of information, especially its usefulness, i.e., its ability to simplify a solution of a problem. We formalize the problem via decompositions of automata and present new results in the nondeterministic finite automata setting. We characterise some subfamilies of regular languages that are nondeterministically decomposable/undecomposable and exhibit an infinite sequence of regular languages that are nondeterministically undecomposable but decomposable in the deterministic finite automata setting. We briefly sketch some possibilities of the extension of our resarch.

 

web: http://kedrigern.dcs.fmph.uniba.sk/STI2 
rss: http://kedrigern.dcs.fmph.uniba.sk/STI2/rss.php