acm-header
登录

ACM通信

ACM通信

简化过渡语言与确定性语言的等价性


由Eickel、Paul、Bauer和Samelson介绍的简化过渡语言被Morris证明是简单优先语言的一个合适的超类。在本文中,对这一结果进行了扩展,表明第一类实际上等价于确定性上下文无关语言的类。

这篇文章的全文是优质内容


没有找到条目

登录阅读全文

登录

如果您是ACM会员、通信订阅者或数字图书馆订阅者,则使用您的ACM Web帐户用户名和密码登录以访问优质内容。

需要访问吗?

请选择以下其中一个选项以访问优质内容和功能。

创建一个网络帐户

如果您已经是ACM会员,通信订阅用户,或数码图书馆订阅用户,请设立网上帐户,以便阅览本网站的优质内容。

加入ACM

成为ACM会员可以充分利用ACM卓越的计算信息资源、网络机会和其他优势。

订阅ACM杂志通讯

获得完全访问超过50年的CACM内容,并每月收到印刷版杂志。

购买物品

非会员可以购买这篇文章或它出现的杂志的副本。
登录全面存取
忘记密码? »创建ACM Web帐户
Baidu
map