Formal Structure Of Statements In Programming