Здравствуйте.
Давайте, для начала, определимся с алфавитом.
Объясните, что Вы понимаете под каждым: a0,|,* ?
Могу предположить, что a0 - символ пустой ячейки (например, '_'), | = 1.
Этих двух достаточно, чтобы написать программу МТ для прибавления к последовательности (n штук) единиц 4-х единиц,
отделенных одной пустой ячейкой. Зачем еще '*'? Или это общее условие для всех задач?
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен