首页> 外文OA文献 >An efficient algorithm to decide whether a monoid presented by a regular church-rosser thue system is a group

【2h】

An efficient algorithm to decide whether a monoid presented by a regular church-rosser thue system is a group

机译：一种有效的算法，可以确定由常规的教堂-罗瑟（Rose）调教系统提供的一个等分集合是否是一个群

代理获取

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

页面导航

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

著录项

作者
Xin Zhang Luo;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A shorter proof that palindromes are not a Church-Rosser language, with extensions to almost-confluent and preperfect Thue systems [J] . Colm ODunlaing, Natalie Schluter Theoretical computer science . 2010,第3期

机译：更短的证据表明回文式不是Church-Rosser语言，并且扩展了几乎融合和完善的Thue系统
2. A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser [J] . Benedetto Intrigila Information and computation . 2001,第2期

机译：不是Church-Rosser的弱Church-Rosser抽象归约系统的特征
3. Deciding conjugacy in sylvester monoids and other homogeneous monoids [J] . Cain Alan J., Malheiro Antonio International journal of algebra and computation . 2015,第5期

机译：确定西尔维斯特（Sylvester）半部和其他齐整半部中的共轭
4. The graphs of finite monadic semi-thue systems have a decidable monadic second-order theory [C] . Teodor Knapik, Hugues Calbrix Discrete mathematics and theoretical computer science conference . 1999

机译：有限元半论系统的图表具有可判定的Monadic二阶理论
5. Data structures, algorithms and architectures for efficient regular expression evaluation. [D] . Becchi, Michela. 2009

机译：高效的正则表达式评估的数据结构，算法和体系结构。
6. Exploring efficient grouping algorithms in regular expression matching [O] . Chengcheng Xu, Jinshu Su, Shuhui Chen 2012

机译：在正则表达式匹配中探索有效的分组算法
7. Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems [O] . Narendran Paliath, Otto Friedrich 1989

机译：有限一元Church-Rosser Thue系统的多项式时间算法
8. Computer Architecture for Efficient Algorithmic Executions in Real-Time Systems: New Technology for Avionics Systems and Advanced Space Vehicles [R] . Carroll, C. C., Youngblood, J. N., Saha, A. 1987

机译：实时系统中高效算法执行的计算机体系结构：航空电子系统和先进空间飞行器的新技术

An efficient algorithm to decide whether a monoid presented by a regular church-rosser thue system is a group

著录项

引文网络

相似文献

相关主题

期刊订阅