杰·厄利、霍华德·斯特吉斯著
ACM通信，1970年10月，第13卷第10期，607-617页
10.1145/355598.362740
评论
本文提出了一种形式主义来描述编程语言(编译器、解释器、汇编器)的处理器的动作，以及它们在复杂系统(如编译器-编译器或可扩展语言)中的交互。这里的形式主义可以用来定义和回答这样一个问题:“可以使用中期是解释性的元编译器进行引导吗?”此外，还提出了一种算法，用于确定给定的系统是否可以由给定的一组组件处理器产生。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择下面的一个选项以访问高级内容和功能。
创建一个网上帐户
如果你已经是ACM会员，通信订阅者或数码图书馆订阅者，请设置网页帐户，以浏览本网站的优质内容。
参加ACM
成为ACM的会员，可以充分利用ACM卓越的计算信息资源、网络机会等优势。
订阅ACM杂志通讯
获得50多年的中华中医药学会内容的完整访问权限，并每月获得杂志印刷版。
购买这篇文章
非会员可以购买这篇文章或刊登这篇文章的杂志。
