Like Vitruvius who was loosely termed as the first architect, always believed that every good design had to be based off of geometric patterns and set constraints. And Bill Mitchell’s - Logic Of Architecture has some good views on computational design and shape grammar. Mitchell first considers how buildings may be described in words and shows how such descriptions may be formalized by the notation of first order predicate calculus. This leads to the idea of a critical language for speaking about the qualities of buildings. We could use this language and grammar as a set of rules and constraints.Similarly if we were to deconstruct buildings and spaces into a language or a set of algebraic expressions for our computers to understand then we could possibly just "ask" the computer for a building based on a set of "parameters" like type/size/height etc., and the computer would use the code that we had defined previously as the standard expression or language for that particular set of parameters or use those parameters to replace the variables in the equation to arrive at a solution that answers all the parameters we've set and provides us with a BIM model.