The Thue problem and logical specifications of derivation in formal systems

被引：0

作者：

A. I. Provotar

Alhi Adnan

机构：

[1] National Academy of Sciences of Ukraine,Cybernetics Institute

[2] National Academy of Sciences of Ukraine,Institute of Program Systems

来源：

Cybernetics and Systems Analysis | 1999年 / 35卷

关键词：

formal systems; Thue problem; DOL-systems; square-free words over an alphabet; cube-free words over an alphabet; simulation of the process of derivation in arbitraiy grammars;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Mechanisms different from the well-known DOL-systems are proposed for construction of cube-free words. A generator is presented, which is described by logical programming means and models the process of derivation in arbitrary grammars.

引用

页码：860 / 866

页数：6