ON THE ALGORITHMIC DECIDABILITY OF THE SQUARE-FREE WORD PROBLEM RELATIVE TO A SYSTEM OF TWO DEFINING RELATIONS

N. L. Polyakov

首页> 外文期刊>Journal of Mathematical Sciences >ON THE ALGORITHMIC DECIDABILITY OF THE SQUARE-FREE WORD PROBLEM RELATIVE TO A SYSTEM OF TWO DEFINING RELATIONS

【24h】

ON THE ALGORITHMIC DECIDABILITY OF THE SQUARE-FREE WORD PROBLEM RELATIVE TO A SYSTEM OF TWO DEFINING RELATIONS

机译：关于两个定义关系系统的方四字问题的算法判定

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We prove that the square-free word problem relative to a system of two defining relations is algorithmically decidable.

机译：我们证明相对于两个定义关系的系统的无平方字问题在算法上是可确定的。

著录项

来源
《Journal of Mathematical Sciences》 |2015年第6期|800-807|共8页
作者
N. L. Polyakov;
展开▼
作者单位

Financial University under the Government of the Russian Federation;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Relative positions in words: a system that builds descriptions around Allen relations [J] . P. MATSAKIS, L. WAWRZYNIAK, J. NI International Journal of Geographical Information Science . 2010,第1a2期

机译：言语中的相对位置：围绕艾伦关系建立描述的系统
2. DECIDING WHETHER A RELATION DEFINED IN PRESBURGER LOGIC CAN BE DEFINED IN WEAKER LOGICS [J] . Christian Choffrut RAIRO Theoretical Informatics and Applications . 2008,第1期

机译：是否可以在WEAGER LOGIC中定义在预脉冲逻辑中定义的关系
3. Some Results on Primitive Words, Square-Free Words, and Disjunctive Languages [J] . Tetsuo MORIYA IEICE Transactions on Information and Systems . 2008,第10期

机译：关于原始词，无平方词和析取语言的一些结果
4. Concept-Base Construction for a Word Association-System: A Method of Deciding Word Attribute Weights by Logical Relations and Attribute Reliability [C] . Kazuhide KOJIMA, Atsushi HORIGUCHI, Hirokazu WATABE, World Multiconference on Systemics, Cybernetics and Informatics(SCI 2002) v.5: Computer Science I; 20020714-20020718; Orlando,FL; US . 2002

机译：词关联系统的概念库构建：一种通过逻辑关系和属性可靠性确定词属性权重的方法
5. The Relative Security Metric of Information Systems: Using AIMD algorithms. [D] . Owusu-Kesseh, Daniel. 2016

机译：信息系统的相对安全度量：使用AIMD算法。
6. An Efficient Exact Quantum Algorithm for the Integer Square-free Decomposition Problem [O] . Jun Li, Xinhua Peng, Jiangfeng Du, -1

机译：整数无平方分解问题的高效精确量子算法
7. Predictive control of nonlinear systems with ill-defined relative degrees: an analytic approach published as: Analytic predictive controllers for nonlinear systems with Ill-defined relative degree [O] . Chen Wen-Hua 2001

机译：具有不确定度的相对度的非线性系统的预测控制：一种分析方法发布为：具有不良定义的相对度的非线性系统的分析预测控制器
8. Computing Science. Square-Free Words Over Partially Cummutative Alphabets. [R] . Mikulski, L., Piatkowski, M., Rytter, W. 2014

机译：计算科学。部分Cummutative字母的无方言词。

ON THE ALGORITHMIC DECIDABILITY OF THE SQUARE-FREE WORD PROBLEM RELATIVE TO A SYSTEM OF TWO DEFINING RELATIONS

摘要

著录项

相似文献

相关主题

期刊订阅