Describir: Simulátor formálnych výpočtových strojov