Seminár z teoretickej informatiky - Peter Kostolányi (19.11.2021)
v piatok 19.11.2021 o 11:00 hod. v miestnosti M/213
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