Document Type

Technical Report

Publication Date

Summer 8-1-1979

Abstract

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.

Share

COinS