Проблема языка в современных исследованиях по искусственному интеллекту

Понятие алгоритма было интуитивно ясным, но не существовало общей формулы алгоритма вообще.Машина Тьюринга - абстрактная универсальная вычислительная машина.Машина Тьюринга отличается определенными свойствами.В основе ее лежит понятие автомата: самостоятельно действующего управляющего устройства.Источник компьютерных аналогий.Пример такой таблицы для примитивного автомата - выключатель.И, по мнению Тьюринга, нет никаких логических препятствий к допущению такой модели.