O'Reilly logo

Advances in Computers by Atif Memon

Stay ahead with the world's most comprehensive technology and business learning platform.

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

Start Free Trial

No credit card required

A Using Just C1 and C2 to Prove Termination

Definition A.1.

If Csi149_e is a set of square matrices of the same dimension, then clos(C)si150_e is the set of all finite products of elements of Csi151_e. For example, if C={C1,C2}si152_e, then C12C2C13C217clos(C1,C2)si153_e.

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.

Start Free Trial

No credit card required