в высшей математике

с объяснением :

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

Пример:

q1, a → q7, o, -1

q1, b → q2, b, +1

q1, c → q3, c, +1

q1, o → q1, o, +1

q1, d → q1, d, +1

q1, e → q1, e, +1

q1, ^ → q12, ^, -1