https://www.techopedia.com/definition/32864/theory-of-computation