形式化方法的优点

if( 金钱 == love )

{

房子 = 婚姻 ;

}

else

{

失败 = 单身 ;

}

l result love(boy, girl) {

l if( boy.有房() and boy.有车() ) {

l boy.set(nothing); return girl.嫁给(boy);

l }

l if( girl.愿意等() ) {

l 　　while(!(boy.赚钱 > 100,000 and girl.感情 > 8 ) ) {

l 　 　for( day=1; day <=365; day++) {

l 　　 if( day == 情人节 )

l 　　 if( boy.givegirl(玫瑰) )

l 　　 girl.感情++;

l 　 　else

l 　 　 girl.感情--;

l 　　 if( day == girl.生日)

l 　　 if( boy.givegirl(玫瑰) )

l 　　 girl.感情++;

l 　　 else

l 　　 girl.感情--; boy.拼命赚钱();

l 　 　} }

l 　　 if( boy.有房() and boy.有车() ) {

l 　　 boy.set(nothing);

l 　　 return girl.嫁给(boy); }

l 　　 年龄++; girl.感情--;

l }

l return girl.goto( another_boy);

l 　}