ON THE COMPLEXITY OF SOME EXTENDED WORD-PROBLEMS DEFINED BY CANCELLATION RULES

被引:15
作者
BENOIS, M [1 ]
SAKAROVITCH, J [1 ]
机构
[1] UNIV PARIS 06,LITP,F-75230 PARIS 05,FRANCE
关键词
COMPUTER PROGRAMMING - Algorithms - CRYPTOGRAPHY;
D O I
10.1016/0020-0190(86)90087-6
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We give an algorithm which computes the set of descendants of a regular set R, for Thue systems of certain type. The complexity of the algorithm is O(m**3) where m is the number of states of an automation recognizing R. This allows to improve the known complexity bounds for some extended work problems defined by cancellation rules. The results have bearing on recent work on public key encryption for secure network communication.
引用
收藏
页码:281 / 287
页数:7
相关论文
共 10 条
[1]  
BENOIS M, 1969, CR ACAD SCI A MATH, V269, P1188
[2]  
BERSTEL J, 1979, TRANSDUCTIONS CONTEX
[3]   CANCELLATION RULES AND EXTENDED WORD-PROBLEMS [J].
BOOK, RV ;
OTTO, F .
INFORMATION PROCESSING LETTERS, 1985, 20 (01) :5-11
[4]   ON THE SECURITY OF PING-PONG PROTOCOLS [J].
DOLEV, D ;
EVEN, S ;
KARP, RM .
INFORMATION AND CONTROL, 1982, 55 (1-3) :57-68
[5]   ON THE SECURITY OF PUBLIC KEY PROTOCOLS [J].
DOLEV, D ;
YAO, AC .
IEEE TRANSACTIONS ON INFORMATION THEORY, 1983, 29 (02) :198-208
[6]  
Even S., 1983, 24th Annual Symposium on Foundations of Computer Science, P34, DOI 10.1109/SFCS.1983.42
[7]   2 APPLICATIONS OF MATRICIAL REPRESENTATION OF NON-COMMUTATIVE RATIONAL SERIES [J].
FLIESS, M .
JOURNAL OF ALGEBRA, 1971, 19 (03) :344-&
[8]  
Hopcroft J.E., 1979, INTRO AUTOMATA THEOR
[9]  
ROY B, 1959, CR HEBD ACAD SCI, V249, P216
[10]   A THEOREM ON BOOLEAN MATRICES [J].
WARSHALL, S .
JOURNAL OF THE ACM, 1962, 9 (01) :11-&