Reversible Machines and Post's Correspondence Problem for Biprefix Morphisms.

Journal of automata, languages and combinatorics · 1985 · 41 citations · 0 references