Title: Theory of algorithms