电脑与电信
電腦與電信
전뇌여전신
COMPUTER & TELECOM
2007年
9期
9-10,28
,共3页
二进制翻译%形式化%模型
二進製翻譯%形式化%模型
이진제번역%형식화%모형
通过对比分析静态与动态二进制翻译系统,描述了基于机器状态的二进制翻译形式化模型.该形式化模型在实践上对于二进制翻译工程具有理论指导作用,并且可为保证翻译过程及结果的正确性提供理论基础.
通過對比分析靜態與動態二進製翻譯繫統,描述瞭基于機器狀態的二進製翻譯形式化模型.該形式化模型在實踐上對于二進製翻譯工程具有理論指導作用,併且可為保證翻譯過程及結果的正確性提供理論基礎.
통과대비분석정태여동태이진제번역계통,묘술료기우궤기상태적이진제번역형식화모형.해형식화모형재실천상대우이진제번역공정구유이론지도작용,병차가위보증번역과정급결과적정학성제공이론기출.