There are two people i and v; they can be either hungry or nothungry. There is one fork. At each point, i holds the fork, v holdsthe fork or nobody holds the fork. Initially neither oneof them holds the fork and neither one is hungry. At any point, oneperson gets his or her turn. We assume they each get their turninfinitely often. Here is what happens when a person has theirturn:
If that person is currently holding the fork and is hungry thenthat person continues to hold the fork but stops being hungry. Ifthat person is holding the fork and not hungry
OR
OR