2) finite state language
有限态语言
3) infinite order state language
无限阶状态语言
4) native mode language
固有状态语言
5) Definite State Grammar
有限状态语法
6) finite language
有限语言
1.
In finite language framew ork, this paper explores valuation structures associated with ordinary KLM prefe rential models.
本文在有限语言框架下 ,对一般 KLM占先模型的赋值结构性质进行了研究 ,给出了占先模型与其赋值结构逻辑等价的充分必要条件 ,证明了有限语言框架下 ,逻辑等价的单射模型在同构意义下的唯一性。
补充资料:BASIC语言(见程序设计语言)
BASIC语言(见程序设计语言)
BASIC
吕AS{CBASICyLJy〔1下〕语言(BASIC)见程序设计语言。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条