Invia SMS: Vvedenije v teoriju konečnych avtomatov