Abstract
The language to control objects is a primary requirement in design of a complex system. Context free grammar plays an important role in modeling control functionalities of a system by grammatical rules. This generates naturally the operation of a system by the language which having commands in the form of strings generated by variables which are nested inside variables arbitrarily deeply. The formal method Z is an ideal notation which is used for describing state space of a system and then defining operations over it. Consequently, an integration of context free grammar and Z will be an effective tool for increasing modeling power for a complex system. In this paper, we have given a procedure for integrating CFG and Z. Formal definition of a CFG is defined. Then derivation of a string and further development of formal language is formalized. The specification of this relationship is analyzed and validated using Z/EVES tool. [Zafar NA, Khan SA, Alhumaidan F, Kamran B. Formal Modeling towards the Context Free Grammar. Life Sci J 2012;9(4):988-993] (ISSN:1097-8135). http://www.lifesciencesite.com. 152