We show by a simple argument how any algorithm for solving the DOL language equivalence problem can be used to solve the DOL sequence equivalence problem, and vice versa.
机构:
Eotvos Lorand Univ, Fac Informat, Pazmany Peter Setany 1-c, H-1117 Budapest, HungaryEotvos Lorand Univ, Fac Informat, Pazmany Peter Setany 1-c, H-1117 Budapest, Hungary
Csuhaj-Varju, Erzsebet
Vaszil, Gyorgy
论文数: 0引用数: 0
h-index: 0
机构:
Univ Debrecen, Fac Informat, Kassa Ut 26, H-4028 Debrecen, HungaryEotvos Lorand Univ, Fac Informat, Pazmany Peter Setany 1-c, H-1117 Budapest, Hungary