Нормальные алгоритмы Маркова

Тема может быть сформулирована в достаточно общем виде, так что простор для фантазии и творчества огромен. По поводу содержания курсовой, обращаю внимание — ПРЕДМЕТ наш «матлогика и теория алгоритмов», следовательно, курсовая должна ему соответствовать (СОДЕРЖАТЬ в себе либо алгоритмическое описание задачи, либо дискретку\булевы\к-значные функции). В курсовой должно присутствовать введение, сама работа, заключение (вывод) и список литературы. Содержание и титульный лист не нужны. В практической части нужно на языке матлогики описать задачу и может что-то доказать, решить по теме курсовой.