Zaslať SMS: Androidový simulátor formálnych automatov