TM1.txt accepts for the language of (a+b)b(a+b)*
TM2.txt accepts for the language of a^nb^n
TM3.txt accepts for the language (a+b)(a+b)(a+b)(a+b)
TM4.txt accepts for the language even number of a and even number of b