Enviar por SMS: Androidový simulátor na testovanie automatov a formálnych gramatík