Theory Of Computationon In Computer Science