首页> 外文OA文献 >A metatheorem for undecidable properties of formal languages and its application to LRR and LLR grammars and languages

【2h】

A metatheorem for undecidable properties of formal languages and its application to LRR and LLR grammars and languages

机译：形式语言的不确定特性的元定理及其在LRR和LLR语法和语言中的应用

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Heilbrunner Stephan;
展开▼
作者单位

展开▼
年度 1988
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. 二语对一语在写作表达中词汇运用能力以及语法特性的影响 [J] . 蔡春鹏, 安熙燉中国应用语言学：英文版 . 2017,第002期
2. Formal properties of XML grammars and languages [J] . Jean Berstel, Luc Boasson Acta Informatica . 2002,第9期

机译：XML语法和语言的形式属性
3. Multi-amalgamated triple graph grammars: Formal foundation and application to visual language translation [J] . Leblebici Erhan, Anjorin Anthony, Schuerr Andy, Journal of Visual Languages & Computing . 2017,第octa期

机译：多重融合三元图语法：形式基础及其在视觉语言翻译中的应用
4. Dynamic Sign Language Recognition for Smart Home Interactive Application Using Stochastic Linear Formal Grammar [J] . Abid M.R., Petriu E.M., Amjadian E. Instrumentation and Measurement, IEEE Transactions on . 2015,第3期

机译：基于随机线性形式语法的智能家居交互式应用程序的动态手语识别
5. SR-Task Grammars: A Formal Specification of Human Computer Interaction for Interactive Visual Languages [C] . Rosanna Cassino, Genny Tortora, Maurizio Tucci, IEEE Symposium on Human Centric Computing Languages and Environments . 2003

机译：SR-Task语法：交互式视觉语言的人机互动的正式规范
6. Logic, formal languages, and formal language identification. Some logical properties of the languages in the Chomsky hierarchy, and an interrogative model of formal language identification. [D] . Pylkko, Pauli Olavi. 1988

机译：逻辑，形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性，以及形式语言标识的疑问模型。
7. Artificial grammar learning meets formal language theory: an overview [O] . W. Tecumseh Fitch, Angela D. Friederici 2012

机译：人工语法学习与形式语言理论相遇：概述
8. Formal properties of XML grammars and languages [O] . Berstel, Jean, Boasson, Luc 2002

机译：XML语法和语言的形式属性

A metatheorem for undecidable properties of formal languages and its application to LRR and LLR grammars and languages

著录项

引文网络

相似文献

相关主题

期刊订阅