A 形(曲)式 of 算法 作曲 utilising rules that govern allowable 选择 which could be applied to any 参数 s of a 音乐 作曲 A constraint is a condition or rule that must be satisfied