THE WORD PROBLEM IN FREE LEFT DISTRIBUTIVE STRUCTURES

被引：4

作者：

DEHORNOY, P

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1992年 / 94卷 / 02期

关键词：

D O I：

10.1016/0304-3975(92)90034-D

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We describe a tractable yet unproved algorithm for solving the word problem in free left distributive structures. The correction and termination of this algorithm are connected with the existence of some normal forms in an extension of a braid group.

引用

页码：199 / 213

页数：15