acm-header
登录

ACM通信

ACM通信

洗牌语言、Petri网和上下文敏感的语法


流表达式被提议作为正则表达式的扩展,设计用于建模并发性。我们检查这些流表达式的简化,我们称之为 洗牌表达式.我们介绍了两种类型的机器来帮助识别shuffle语言,并表明其中一种机器可能相当于一个Petri网。此外,研究了相关语言类的闭包和包含属性,并表明一种机器类型至少识别shuffle语言的受限类。最后,生成所有shuffle语言的语法,并显示shuffle语言是上下文敏感的。

本文的全文是优质内容


没有找到条目

登录阅读全文

登录

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

需要访问吗?

请选择下面的一个选项以访问高级内容和功能。

创建一个网上帐户

如果你已经是ACM会员,通信订阅者或数码图书馆订阅者,请设置网页帐户,以浏览本网站的优质内容。

加入ACM

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

订阅ACM杂志通讯

获得50多年的中华中医药学会内容的完整访问权限,并每月获得杂志印刷版。

购买物品

非会员可以购买这篇文章或刊登这篇文章的杂志。
登录全面访问
忘记密码? »创建ACM Web帐号
Baidu
map