Polynomial algorithm for equivalence problem of deterministic multitape finite automata
scientific article; zbMATH DE number 7226874
scientific article