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