https://www.techopedia.com/definition/32934/automata-based-programming