{well-formed formula} [ریاضی] دنباله ای متناهی از نمادها که به ازای مجموعۀ مفروضی از قواعد دستوری یا نحوی ازلحاظ دستوری یا نحوی درست است
