Text this: Unsolvability of the equivalence problem for α-free nondeterministic generalized machines.