患者男，35岁，右膝关节疼痛伴低热1年，行走困难，查体：右大腿肌肉萎缩，右膝关节肿胀，呈屈曲畸形，X线片示右膝关节骨质增生，关节间隙变窄，血沉35mm/h。

早期骨关节结核与类风湿关节炎可靠的鉴别诊断依据是（）。

A.单一关节肿胀

B.血沉增快

C.X线平片关节间隙有无狭窄

D.关节穿刺行关节液检查

E.活组织检查

F.膝关节MRI检查

程序设计语言包括 (41) 等几个方面，它的基本成分包括 (42) 。Chomsky(乔姆斯基)提出了形式语言的分层理论，他定义了四类文法：短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法可以用一个四元组G=(∑，V,S，P)表示，其中，∑是终结符的有限字符表，y是非终结符的有限字母表，S(∈V)是开始符号，P是生成式的有限非空集。在短语文法中，P中的生成式都是α→β甲的形式，其中α∈ (43) ，β∈(∑∪V)*。在上下文有关文法中，户中的生成式都是α₁Aα₂→α₁βα₂的形式，其中A∈ (44) ，β∈(∑∪V*)，β≠。在上下文无关文法中，户中的生成式的左部正 (45) 。

（41）是（）

A．语法、语义

B．语法、语用

C．语义、语用

D．语法、语义、语用