Zaslať SMS: Androidový simulátor formálnych gramatík