对N＝5、k≤3时，求解传教士和野人问题的产生式系统各组成部分进行描述（给出综合数据库、规则集合的形式化描述，给出初始状态和目标条件的描述），并画出状态空间图。 答： 用M表示传教士，C表示野人，B表示船，L表示左岸，R表示右岸。-For N = 5, k ≤ 3, the missionaries and Savage problem solving production system components are described (given comprehensive database