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