The Inclusion Problem for Unambiguous Rational Trace Languages

机译：含有明确的Rational Trace语言的包含问题

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Given a class C of languages, the Inclusion Problem for C consists of deciding whether for L_1, L_2 ∈C we have L_1 C L_2.

机译：鉴于语言的C类，C的夹杂物问题包括决定是否为L_1，L_2∈C我们有L_1 C L_2。

著录项

来源
《International Conference on Developments in Language Theory》|2005年||共12页
会议地点
作者
Paolo Massazza;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类程序语言、算法语言;
关键词

相似文献

外文文献
中文文献
专利

1. ON THE INCLUSION PROBLEM FOR FINITELY AMBIGUOUS RATIONAL TRACE LANGUAGES [J] . A. BERTONI, P. MASSAZZA RAIRO Theoretical Informatics and Applications . 1998,第1a3期

机译：有限歧义有理迹线语言的包含问题
2. On the inclusion problem for finitely ambiguous rational trace languages [J] . A. Bertioni, P. Massazza RAIRO: Theoretical Informatics and Applications . 1998,第1a3期

机译：关于有限歧义有理跟踪语言的包含问题
3. A Note on the Logical Definability of Rational Trace Languages [J] . Christian Choffrut Fundamenta Informaticae . 2012,第1a4期

机译：关于Rational Trace语言的逻辑可定义性的注释
4. The Inclusion Problem for Unambiguous Rational Trace Languages [C] . Paolo Massazza International Conference on Developments in Language Theory . 2005

机译：含有明确的Rational Trace语言的包含问题
5. Constraining Metamorphic and Tectonic Evolution in Convergent Terranes: How Trace Elements and Mineral Inclusions Shape Mechanical and Reconstructive Models [D] . Ashley, Kyle Thomas 2015

机译：约束会聚地带的变质和构造演化：痕量元素和矿物包裹体如何塑造力学模型和重建模型
6. Neural Systems Language: A Formal Modeling Language for the Systematic Description Unambiguous Communication and Automated Digital Curation of Neural Connectivity [O] . Ramsay A. Brown, Larry W. Swanson -1

机译：神经系统语言：用于系统描述明确通信和神经连接自动数字化的形式化建模语言
7. On the inclusion problem for finitely ambiguous rational trace languages [O] . A. Bertoni, P. Massazza 1998

机译：关于有限含糊不清的痕迹语言的包含问题
8. Inclusion Problem for Some Subclasses of Context-Free Languages [R] . Asveld, P. R. J., Nijholt, A. 1998

机译：一些无上下文语言子类的包含问题

The Inclusion Problem for Unambiguous Rational Trace Languages

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅