Three variants of the DT0L sequence equivalence problem
We discuss three variants of the DT0L sequence equivalence problem. One of the variants generalizes the omega-sequence equivalence problem of D0L systems for DT0L systems.
equivalence problem lindenmayer system decidability