Invia SMS: Introduction To The Theory Of Finite-State Machines