Theory Of Formal Languages With Applications