Discuss the practical uses of isomorphism

[greenTara]

The various theoretical concepts of isomorphism are introduced in the Abstract Syntax and Semantics document to support the definitions of window functions and entailments. The practical side of isomorphism is out of scope for this document, but is worthy of discussion somewhere. E.g.
under what circumstances is isomorphism decidable? This appears to be the case iff the stream is finite.