Искусственный интеллект

N П{в_месте (/) з Р). Пример. Условие, которое должно быть истинным, когда мы находимся в месте /0, для программы подсчета вершин дерева выглядит следующим образом: N Щв_месте (/)оз (Е \Т\ + С = \Х\)], т.е. сумма вершин поддеревьев в стеке S плюс значение счетчика С есть число вершин дерева X. 201 9. Модальность в ситуационном исчислении 9.6.4. Взаимное исключение Понятие критической секции и взаимного исключения было введено ранее. Вернемся к ним и сформулируем свойства корректности программ. Рассмотрим два параллельных процесса У, и Рг Предположим, что каждый процесс содержит секцию С. ? Lp i=1,2, которая критична к попеременному выполнению команд из секции другого процесса. Например, это может быть доступ к распределяемому устройству (такому, как диск) или распределяемой переменной. Как уже говорилось, если природа этих секций такова, что они ни при каких обстоятельствах не могут выполняться одновременно, то их называют критическими.