weaker formalism

• 弱式形式体系

weaker formalism的用法和样例：

例句

1. Temporal logic is a formalism used to describe how a program state will change with time.
   时态逻辑是用于描述程序状态如何随时间而更改的形式体系。