桌上有一只盘子，每次只能放入一只水果。爸爸专向盘子中放苹果（apple)，妈妈专向盘子中放桔子（orange)，一个儿子专等吃盘子中的桔子，一个女儿专等吃盘子里的苹果。使用Hoare管程求解该问题。

semaphore empty=2； //定义empty对应盘子的剩余放水果的位置个数初值为2 semaphore apple=0； //定义信号量apple对应盘子里的苹果数量初值为0 semaphore orange=0； //定义信号量orange对于盘子里的橘子数量初值为0 semaphore mutex=1： //定义信号量mutex来保护盘子被互斥地访问 father(){ //爸爸进程 while(1){ P(empty)； P(mutex)； 在盘子里放一个苹果 V(mutex)； V(apple)； } } mother(){ //妈妈进程 while(1){ P(empty)； P(mutex)； 在盘子里放一个橘子 V(mutex)； V(orange)； } } son(){ //用这段程序产生两个儿子进程 while(1){ P(orange)； P(mutex)； 从盘子里拿一个橘子 V(mutex)； V(empty)； 吃掉拿出来的橘子 } } daughter(){ //用这段程序产生两个女儿进程 while(1){ P(apple)； P(mutex)； 从盘子里拿出一个苹果 V(mutex)； V(empty)； 吃掉拿出来的苹果 } } semaphoreempty=2；//定义empty对应盘子的剩余放水果的位置个数,初值为2semaphoreapple=0；//定义信号量apple对应盘子里的苹果数量,初值为0semaphoreorange=0；//定义信号量orange对于盘子里的橘子数量,初值为0semaphoremutex=1：//定义信号量mutex来保护盘子被互斥地访问father(){//爸爸进程while(1){P(empty)；P(mutex)；在盘子里放一个苹果V(mutex)；V(apple)；}}mother(){//妈妈进程while(1){P(empty)；P(mutex)；在盘子里放一个橘子V(mutex)；V(orange)；}}son(){//用这段程序产生两个儿子进程while(1){P(orange)；P(mutex)；从盘子里拿一个橘子V(mutex)；V(empty)；吃掉拿出来的橘子}}daughter(){//用这段程序产生两个女儿进程while(1){P(apple)；P(mutex)；从盘子里拿出一个苹果V(mutex)；V(empty)；吃掉拿出来的苹果}}