基于上下文无关文法的可逆变换模型.pdf

《基于上下文无关文法的可逆变换模型.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、ISSN1673—9418CODENJKYTA8E-mail：fcst@vip．163．tomJournalofFrontiersofComputerScienceandTechnologyhttp：／／www．ceaj．org1673-9418／2015／09(07)·-0793·-10Tel：+86．10．89056056doi：10．3778~．issn．1673—9418．1410009基于上下文无关文法的可逆变换模型吴阳怿，吴逸鸣，熊英飞1．北京大学信息科学技术学院软件研究所，北京1008712．北京大学高可信软件技

2、术教育部重点实验室，北京100871ReversibleTransformationModelBasedonContext．FreeGrammarsWUYangyi，WUYiming，XIONGYingfei，1．InstituteofSoftware，SchoolofElectronicsEngineeringandComputerScience，PekingUniversity,Beijing100871，China2．KeyLaboratoryofHighConfidenceSoftwareTechnologiesofM

3、inistryofEducation，PekingUniversity,Beijing100871，China+Correspondingauthor：E—mail：xiongyf04@sei．pku．edu．cnWUYangyi，WUYiming，XIONGYing~i．Reversibletransformationmodelbasedoncontext-freegrammars．JournalofFrontiersofComputerScienceandTeehnolog~2015，9(7)：793-802．Abstra

4、ct：Datatransformationproblemslikereversibletransformationandbidirectionaltransformationhavebeenaresearchfocusinrecentyears，alargenumberofdifferenttransformationlanguagesandmodelshavebeenproposed．Buttheyareoftenbasedonanewcomputationmodel，whichleadsanon．triviallearni

5、ngcosttounderstandthenewcomputationmode1．Ontheotherhand，asanessentialtoolinlanguageparsing，context．freegrammarisfamiliartomostprogrammers．Thispaperproposesacomputationmodeltoconstructreversibletransformationforstringdatabasedoncontext-freegrammars，anddiscussesitspro

6、pertiesandcomputability．ThispaperalsoimplementsthemodelinScheme，andevaluatesthemodelbydevelopingapairofassembleranddisassemblerofMIPSinstructionset．TheevaluationresultshowsthatthemodelisexpressiveandcanimplementtheassembleranddisassemblerofMIPSinstructionsetwiththeh

7、elpofasmal1datatransformationmodule．Keywords：reversibletransformation；context—freegrammar；stringdataTheNationalNaturalScienceFoundationofChinaunderGrantNos．61202071，61121063，U1201252(国家自然科学基金)；theNationalBasicResearchProgramofChinaunderGrantNo．2011CB302604(国家重点基础研究发

8、展计~(973计划))；theN~ionalHighTechnologyResearchandDevelopmentProgramofChinaunderGrantNo．2013AA01A605(国家高技术研究发展汁戈Ⅱ(863计)．Received2014—10，Accep