Нормальный алгоритм маркова, Theory of algorithms