formulation syntactical analyzer complete