## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

No credit card required

## A Using Just C1 and C2 to Prove Termination

Definition A.1.

If $C$ is a set of square matrices of the same dimension, then $clos(C)$ is the set of all finite products of elements of $C$. For example, if $C={C1,C2}$, then $C12C2C13C217∈clos(C1,C2)$.

This section ...

## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

No credit card required