- Докажем, что любое слово, которое принимает НКА, будет принято построенным ДКА. Заметим, что [math]\forall q \in q_d, \forall c \in \Sigma, \forall p \in \delta(q, c): p \in \delta_d(q_d, c)[/math]. Рассмотрим слово [math]w=w_1...w_m[/math], которое принимает автомат НКА: [math]\langle s, w_1w_2...w_m \rangle \vdash \langle u_1, w_2...w_m \rangle \vdash \langle u_m, \varepsilon \rangle, u_m \in T[/math]. Проверим, что построенный ДКА тоже принимает это слово. Заметим, что [math]s \in s_d[/math], а, значит, исходя из нашего наблюдения, мы получаем, что [math]u_1 \in {u_d}_1[/math], где [math]{u_d}_1 = \delta_d(s, w_1)[/math]. Далее, несложно заметить, что [math]\forall i \leq m : u_i \in {u_d}_i[/math], где [math]\langle s_d, w_1w_2...w_m \rangle \vdash \langle {u_d}_1, w_2...w_m \rangle \vdash \langle {u_d}_i, w_{i + 1}...w_m\rangle[/math]. Таким образом, [math]u_m \in {u_d}_m[/math], а из определения терминальных состояний в построенном ДКА мы получаем, что [math]{u_d}_m \in T_d[/math], то есть наш ДКА тоже принимает cлово [math]w[/math].
- Докажем, что любое слово, которое принимает построенный ДКА, принимает и НКА. Сначала сделаем наблюдение, что если [math]q_d=\{q\}[/math], и мы из него достигли по строке [math]S[/math] какого-то состояния [math]p_d[/math], то [math]\forall p \in p_d[/math] существует путь из [math]q[/math] в [math]p[/math] в НКА по строке [math]S[/math]. Рассмотрим слово [math]w=w_1...w_m[/math], которое принимает автомат ДКА: [math]\langle s_d, w_1w_2...w_m \rangle \vdash \langle {u_d}_1, w_2...w_m \rangle \vdash \langle {u_d}_m, \varepsilon \rangle, {u_d}_m \in T_d[/math]. Проверим, что НКА тоже принимает это слово. Так как [math]s_d = \{s\}[/math], и мы из [math]s_d[/math] достигли [math]{u_d}_m \in T_d[/math], возьмём любое терминальное состояние [math]u_m \in {u_d}_m[/math]. По нашему наблюдению в НКА есть путь из [math]s[/math] в [math]u_m[/math] по строке [math]w[/math], а, значит, НКА принимает это слово.
Таким образом, множества слов, допускаемых ДКА и НКА совпадают, то есть они эквивалентны. |