【英语翻译不是网上的那些什么翻译以及这个词组是什么意思auto-maticabstraction,abstraction这个单词除了抽象类似的意思在机械方面的话还具有什么意思auto-maticabstraction的原句是wedescribeasyste】

　　英语翻译

　　不是网上的那些什么翻译以及这个词组是什么意思auto-maticabstraction,

　　abstraction这个单词除了抽象类似的意思在机械方面的话还具有什么意思

　　auto-maticabstraction的原句是wedescribeasystemforautomaticallysynthesizingsimulators,whicharesuitedformodelcheckinginthattheysupportauto-maticabstraction.