Describir: Androidový simulátor formálnych automatov