https://9dok.net/document/zwv8wg57-problem-solving-research-dynamic-task-environments-finite-automata.html