在《PONS词典》中的词汇
-
- Automatentheorie f
无例句可用
请尝试其他词条。
互联网提供的例句（未经PONS编辑处理）
[...]
www.informatik.rwth-aachen.de Automatentheorie und Logik, algorithmische Verifikation und Synthese
[...][...]
Automata theory and logic, algorithmic verification and synthesis
[...][...]
www.iaas.uni-stuttgart.de Ich untersuche Möglichkeiten zur unifizierten Modellierung und Ausführung von Service-Kompositionen auf Basis von formalen Grammatiken und Automatentheorie.
[...][...]
I investigate in a unified modeling and execution of service compositions based on formal grammars and automata theory.
[...][...]
www.automata.rwth-aachen.de Die Bedeutung der Automatentheorie für die Verifikation liegt darin, dass Automaten ein Verbindungsglied zwischen Systembeschreibung und Spezifikation sind.
[...][...]
The importance of automata theory for verification is based on the fact that automata are a linking part between system description and specification.
[...]