по теории алгоритмов

1) Вручную возвести нумерал Чёрча 2 в степень нумерала 3

2) Построить конечный автомат, допускающий непустые слова над алфавитом {0, 1}, в которых количество единиц кратно трём

3) Написать свой вариант функции fold для списка

4) Реализовать на OCaml КА из задания 2

5) Реализовать на OCaml второй пример из презентации по машине Тьюринга

В пятом задании указано что пример номер 2 необходимо продемонстрировать на Ocaml, я вам скинула этот 2 номер