diff --git a/notes/计算机操作系统.md b/notes/计算机操作系统.md
index 36742043..e1a4b6de 100644
--- a/notes/计算机操作系统.md
+++ b/notes/计算机操作系统.md
@@ -623,7 +623,7 @@ void philosopher(int i) {
 
 1. 寻找一个没有标记的进程 P<sub>i</sub>，它所请求的资源小于等于 A。
 2. 如果找到了这样一个进程，那么将 C 矩阵的第 i 行向量加到 A 中，标记该进程，并转回 1。
-3. 如果有没有这样一个进程，算法终止。
+3. 如果没有这样一个进程，算法终止。
 
 可以看到，死锁检测和银行家算法中判断是否为安全状态的方法类似。