Otomatlar, Biçimsel Diller ve Turing Makineleri