×

zbMATH — the first resource for mathematics

The decidability of the equivalence problem for DOL-systems. (English) Zbl 0365.68074

MSC:
68Q45 Formal languages and automata
20M05 Free semigroups, generators and relations, word problems
20M35 Semigroups in automata theory, linguistics, etc.
92D10 Genetics and epigenetics
92B05 General biology and biomathematics
PDF BibTeX XML Cite
Full Text: DOI