Document Type

Technical Report

Publication Date

Summer 8-1-1979


An explicit bound is given for a solution of the DOL sequence equivalence problem; that is, given two DOL systems G1 and G2, we compute explicitly a positive integer constant C(G1,G2) such that the sequences generated by G1 and G2 are equal if and only if the corresponding first C(G1,G2) elements of the sequences are equal.