Automata theory allows practice with formal definitions of computation as it introduces concepts relevant to other nontheoretical areas of computer science.

• 自动控制理论允许执行正式的计算定义，因为它引用了相关的计算机科学的其他非理论方面的概念。