Решить задачу на языке OCCAM

[V_F]

Решить задачу об обедающих философах. Пять философов гуляют по
саду и размышляют. Когда философ чувствует, что проголодался, он заходит
в столовую. В столовой находится круглый стол, вокруг которого
расположены пять стульев. Напротив каждого стула на столе стоит тарелка.
Возле каждой тарелки, справа и слева от нее, находится по одной палочке
(всего палочек пять) В центре стола находится миска лапши. Философов
садится за стол, берет палочки и начинает есть лапшу. При этом философу,
чтобы начать есть, необходимы две палочки – правая и левая. Утолив голод,
философ снова выходит в сад и продолжает размышлять.
Требуется смоделировать поведение философов так, чтобы избегнуть
блокировок. Блокировки возникают тогда, когда все философы сидят за
столом, каждый взял по одной палочке, но никто не может начать есть лапшу.
Решить задачу на языке OCCAM.

ICQ: 99-615-33
Skype: vf_adc
E-mail: frol91@bk.ru