Aspects Of Computation And Automata Theory With Applications