ω模型

ω模型，为数学术语。ω模型(}-mode 1)适合。规则的模型.设召了为语言丫一{+，·，5，0}的一个模型.采用如下缩写:1=S0， 2=SSO， 3=SSSO，…对语言中这些符号的解释也采用同样的记法.如果Gu的定义域为A一{0，1，2，"..}(也即，Gu省略公式集合乏(劝一{二羊O，x羊1，x羊2 } ... } }，则称G}为丫的。