a formal theory for optimal and information theoretic syntactic pattern