automatic text英式朗读美式朗读基本解释[计] 自动加入文字上一个单词：Automatic Test Pattern Generation system下一个单词：automatic theorem proving