Computational Complexity of Equivalence and Isomorphism Problems

by Thomas Thierauf

A computational model is a framework for doing computations according to certain specified rules on some input data. These models come for example from automata theory, formal language theory, logi…