Машина Тьюринга. Вернуть самое короткое слово, в котором нет двух букв a подряд

Реализовать машину Тьюринга со стандартной заключительной конфигурацией для выполнения следующей задачи. На вход подаётся несколько слов в алфавите {a, b, c}. Требуется вернуть самое короткое слово, в котором нет двух букв a подряд. Для каждого фрагмента программы необходимо дать подробное пояснение выполняемых действий.