Меня также смущает часть цикла while, если условие в while не соответствует действительности, то как оно попадет в CS?
Как это решение Петерсона удовлетворяет условиям взаимоисключающих условий, отсутствия голода и состояния прогресса?
Спасибо!
