Enviar por SMS: Androidový simulátor formálnych automatov