ω模型

ω模型(}-mode 1)適合。規則的模型.設召了為語言丫一{+，·,5,0}的一個模型.採用如下縮寫:1=S0, 2=SSO, 3=SSSO,…對語言中這些符號的解釋也採用同樣的記法.如果Gu的定義域為A一{0,1,2,"..}(也即，Gu省略公式集合乏(勸一{二羊O,x羊1,x羊2 } ... } }，則稱G}為丫的。模型.

^[1]