6.解:用四元组(f、w、s、g)表示状态,f代表农夫,w代表狼,s代表羊,g代表菜,其中每个元素都可为0或1,用0表示在左岸,用1表示在右岸。初始状态S0:(0,0,0,0)目标状态:(1,1,1,1)不合法的状态:(1,0,0,*),(1,*,0,0),(0,1,1,*),(0,*,1,1)操作集F={P1,P2,P3,P4,Q1,Q2,Q3,Q4}操作符条件动作p1f=0,w=0,s和g相异f=1,w=1p2f=0,s=0,f=1,s=1p3f=0,g=0,w和s相异f=1,g=1q0f=1,s和g相异,w和s相异f=0q1f=1,w=1,s和g相异f=0,w=0q2f=1,s=1,f=0,s=0q3f=1,g=1,w和s相异f=0,g=0方案有两种:p2→q0→p3→q2→p2→q0→p2p2→q0→p1→q2→p3→q0→p2
全文预览
