hidden - assigned and confirmed by the Study Dept.
Date of registration:
22.10.2015
Date of assignment:
29.10.2015
Confirmed by Study dept. on:
07.12.2015
Date and time of defence:
13.09.2016 00:00
Date of electronic submission:
27.07.2016
Date of submission of printed version:
27.07.2016
Date of proceeded defence:
13.09.2016
Opponents:
doc. Mgr. et Mgr. Jan Žemlička, Ph.D.
Guidelines
Student popíše důkaz, že semilineární množiny jsou uzavřeny na booleovské operace (sjednocení, průnik, komplement) a vysvětlí souvislost mezi semilineárními množinami a bezkontextovými jazyky.
References
Ginsburg, Seymour (1966), The Mathematical Theory of Context-free Languages, New York, San Francisco, St. Louis, Toronto, London, Sydney: McGraw-Hill
Preliminary scope of work
Semilineární množiny celočíselných bodů ležících v konečných sjednoceních výseků euklidova prostoru. Jedná se tedy o téma blízké lineární algebře, s kombinatorickými aspekty plynoucími z faktu, že se jedná pouze o celočíselné body. Semilineární množiny hrají důležitou roli v teorii bezkontextových jazyků, ale tato souvislost není pro práci zásadní.