Seminár z teoretickej informatiky - Peter Kostolányi (19.11.2021)

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


15. 11. 2021 22.31 hod.
Od: Rastislav Královič

Prednášajúci: Peter Kostolányi

Názov: Determinizovateľnosť unárnych automatov s racionálnymi váhami

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


Abstrakt:
Dokážeme, že determinizovateľnosť automatov s racionálnymi váhami nad unárnou abecedou je rozhodnuteľná, čím potvrdíme domnienku S. Lombardyho a J. Sakarovitcha.

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