Simulátor formálnych výpočtových strojov - Gašpar, Martin (2017)