Дайте подробное теоретическое описание абстрактной машины Тьюринга. Определите ее основные компоненты (лента, головка, управляющее устройство, таблица переходов) и алфавит. Объясните, как определяется понятие «вычислимой функции» через эту модель, и приведите пример простой машины Тьюринга, выполняющей базовую операцию (например, инкремент унарного числа).