hi there,

I have a definition for Program , I have to put it in proper LaTex file ,

and it should be between $ signs.

at the end I would like to ask you to convert the Latex file to pdf , cause I need 2 versions of it , one in LaTex another in pdf.

Definition: Let A be the so-called base state space and A be the set of all states which belong to the state spaces B whose subspace is A, i.e. A=ABB. A does not contain the state fail. The relation SA(A{fail}) is called program over A, if 1. DS=A 2. aA:S(a):1 and 1=a 3. RS:(iN+:i