Mobile Ambients演算的扩展及该扩展的词法分析器的设计
【摘要】:
L. Cardelli和A. D. Gordon在1998年首次提出了可以统一描述移动计算中计算平台的移动性和计算代码的移动性的移动环境或移动灰箱(Mobile Ambient - MA)演算,它建立在传统进程代数的基础上,如Robin Miner的π-演算。Mobile Ambients演算的中心思想不在计算上,而体现在计算位置和计算位置可以动性的表示方面。
为使静态分析结果在α-变换下保持不变,在Mobile Ambients演算的语法规则、等价规则和语义规则中引进稳定名字和捆绑器。引进稳定名字用以标识约束名字;引进捆绑器用以标识输入动作中引进的变量。稳定名字与捆绑器遵守在α-变换规则。
另外,为在静态分析中精确定位程序点,对环境和能力也分别加以标识。环境注释用以区别环境和能力的不同语法出现。
确定扩展的Mobile Ambients演算的单词分类、每类的单词结构,构造了识别扩展的Mobile Ambients演算单词结构的自动机并将自动机转换为程序,实现了扩展的Mobile Ambients演算的词法分析器。