Algoritmická rozhodnutelnost ekvivalence výpočetních modelů 10. 06. 2020

Renomovaný časopis Journal of Computer and Systems Sciences zveřejnil práci člena katedry informatiky Petra Jančara ,,Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence''.

V práci je představen algoritmus, který řeší problém sémantické ekvivalence důležitých výpočetních modelů. Otázka, zda takový algoritmus existuje, byla několik let otevřená.

Algoritmická rozhodnutelnost ekvivalence výpočetních modelů