用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义： A: X;( B: (XandYnotZ);( C: (X);( D: ((XandY)or(notZ))and(notM)。
用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义： A: X;( B: (XandYnotZ);( C: (X);( D: ((XandY)or(notZ))and(notM)。
1
用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义： A: X;( B: (XandYnotZ);( C: (X);( D: ((XandY)or(notZ))and(notM)。