-
公开(公告)号:CN103345464B
公开(公告)日:2016-10-05
申请号:CN201310269593.7
申请日:2009-08-20
Applicant: 微软技术许可有限责任公司
Inventor: G·M·德拉-利贝拉 , S·E·卢科
CPC classification number: G06F9/4498
Abstract: 本发明涉及一种模块化森林自动机。模块化森林自动机(MFA)提供部分有序的正则树模式的统一描述。MFA还提供用于这些模式的确定化、子类型化、交集、以及补集的简单方法。MFA支持高性能的模式分析和匹配。模块化森林转换器,结合模块化森林自动机,允许编译器对任何状态转换施加语义动作,而同时又支持带标记的有向图的高效转换。