名词中文翻译
中文翻译：形式化的下推自动机
同义词：
['formalized pushdown automaton', 'formalized pushdown automaton例句：1. The formal pushdownautomaton is used to simulate thebehavior of a human in a game.（这种形式化的下推自动机被用来模拟游戏中人类的行为。）2. The formal pushdownautomaton was designed to solve complex problemsefficiently.（这种形式化的下推自动机被设计来高效地解决复杂的问题。）']
例句：
-
1. The formal pushdownautomaton is used to simulate thebehavior of a human in a game.
这种形式化的下推自动机被用来模拟游戏中人类的行为。
-
2. The formal pushdownautomaton was designed to solve complex problemsefficiently.
这种形式化的下推自动机被设计来高效地解决复杂的问题。
-
3. Theformal pushdown automaton has beenwidely used in various fields, such asartificial intelligence and robotics.
这种形式化的下推自动机在人工智能和机器人学等领域得到了广泛的应用。