Turing Machine with recursive enumerable language(BCA, MCA)