@@ -228,8 +228,9 @@ \section{Kontrprzykład}
228228 \node [state] (q_20) [right of=q_11] {$ q_{2,0}$ };
229229 \node [state] (q_21) [right of=q_20] {$ q_{2,1}$ };
230230
231- \node [state] (q_n1) [right of=q_21] {$ q_{n-1,1}$ };
232- \node [state, accepting] (q_n0) [right of=q_n1] {$ q_{n,0}$ };
231+ \node [state] (q_n01) [right of=q_21] {$ q_{n-1,0}$ };
232+ \node [state] (q_n11) [right of=q_n01] {$ q_{n-1,1}$ };
233+ \node [state, accepting] (q_n0) [right of=q_n11] {$ q_{n,0}$ };
233234 \node [state] (q_n3) [above of=q_n0] {$ q_{n+1,1}$ };
234235
235236 \path [->]
@@ -245,10 +246,12 @@ \section{Kontrprzykład}
245246 (q_20) edge [above, bend right] node {b} (q_03)
246247 (q_20) edge node {a} (q_21)
247248
248- (q_21) edge [dotted] node {a} (q_n1)
249+ (q_21) edge [dotted] node {a} (q_n01)
250+ (q_n01) edge node {a} (q_n11)
251+ (q_n01) edge [above, bend right] node {b} (q_03)
249252 (q_n0) edge node {a} (q_n3)
250253
251- (q_n1 ) edge node {a} (q_n0)
254+ (q_n11 ) edge node {a} (q_n0)
252255 (q_n0) edge [above, bend right] node {b} (q_03)
253256 (q_n3) edge [bend left] node {a} (q_n0);
254257 \end {tikzpicture }
0 commit comments