 |
 |
 |
 |
|
| 0 |
0 |
1 |
1
|
| 0 |
1 |
0 |
1
|
| 1 |
0 |
1 |
1
|
| 1 |
1 |
1 |
1
|
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left| x \right|\ = \left\{ \begin{array}{rll} x & \text{ gdy }, x\geq 0 \\ -x & \text{ w przeciwnym przypadku}. \end{array} }
Parser nie mógł rozpoznać (nieznana funkcja „\nonumber”): {\displaystyle \displaystyle \nonumber w_3 &\rightarrow bv_3v_2w_3v_1v_3v_3v_2\ |\ aw_3v_1v_3v_3v_2\ |\ bv_3v_2v_1v_3v_3v_2 \\ \begin{array}{lll}\nonumber & & |\ av_1v_3v_3v_2\ |\ bv_3v_3v_2 \end{array}}
oraz
Parser nie mógł rozpoznać (nieznana funkcja „\nonumber”): {\displaystyle \displaystyle \nonumber w_3 &\rightarrow bv_3v_2w_3v_1v_3v_3v_2w_3\ |\ aw_3v_1v_3v_3v_2w_3\ |\ bv_3v_2v_1v_3v_3v_2w_3 \\ \begin{array}{lll}\nonumber & & |\ av_1v_3v_3v_2w_3\ |\ bv_3v_3v_2w_3 \end{array}}
Ostatecznie, gramatyka w postaci Greibach ma postać:
Parser nie mógł rozpoznać (nieznana funkcja „\nonumber”): {\displaystyle \displaystyle \nonumber v_1 &\rightarrow bv_3v_2w_3v_1v_3\ |\ aw_3v_1v_3\ |\ bv_3v_2v_1v_3\ |\ av_1v_3\ |\ bv_3 \\ \nonumber v_2 &\rightarrow bv_3v_2w_3v_1\ |\ aw_3v_1\ |\ bv_3v_2v_1\ |\ av_1\ |\ b \\ \nonumber v_3 &\rightarrow bv_3v_2w_3\ |\ aw_3\ |\ bv_3v_2\ |\ a \\ \nonumber w_3 &\rightarrow bv_3v_2w_3v_1v_3v_3v_2\ |\ aw_3v_1v_3v_3v_2\ |\ bv_3v_2v_1v_3v_3v_2 \\ \begin{array}{lll}\nonumber & & |\ av_1v_3v_3v_2\ |\ bv_3v_3v_2 bv_3v_2w_3v_1v_3v_3v_2w_3 \\ \nonumber & & |\ aw_3v_1v_3v_3v_2w_3\ |\ bv_3v_2v_1v_3v_3v_2w_3\ \\ \nonumber & & |\ av_1v_3v_3v_2w_3\ |\ bv_3v_3v_2w_3 \end{array}}
Algorytm Minimalizuj2 - algorytm minimalizacji automatu
wykorzystujący stabilizujący się ciąg relacji
1 Wejście: 
- automat taki, że 
.
2 Wyjście: automat minimalny 
dla 
.
3 
;
4 
;
5 repeat
6 Parser nie mógł rozpoznać (nieznana funkcja „\slash”): {\displaystyle \displaystyle \slash \slash}
oblicz 
: 
;
7 
;
8 empty
9 for each 
do
10 flag
true;
11 for each 
12 if not 
then
13 flagfalse;
14 end if
15 end for
16 if flag=true and 
then
17 
;
18 end if
19 end for
20 until 
21 Parser nie mógł rozpoznać (nieznana funkcja „\slash”): {\displaystyle \displaystyle S' \leftarrow S \slash \overline{\rho}_i}
;
22 for each Parser nie mógł rozpoznać (nieznana funkcja „\slash”): {\displaystyle \displaystyle [s]_{\overline{\rho}_i} \in S \slash \overline{\rho}_i}
do
23 for each do
24 ![{\displaystyle \displaystyle f'([s]_{{\overline {\rho }}_{i}},a)\leftarrow [f(s,a)]_{{\overline {\rho }}_{i}}}](https://wazniak.mimuw.edu.pl/api/rest_v1/media/math/render/svg/8cf47ca975c92693c9814dc4aec5cdfd17b294db)
;
25 end for
26 end for
27 ![{\displaystyle \displaystyle s_{0}'\leftarrow [s_{0}]_{{\overline {\rho }}_{i}}}](https://wazniak.mimuw.edu.pl/api/rest_v1/media/math/render/svg/052bb6af0e1393ed5964171bd6aeb970508a0f89)
;
28 ![{\displaystyle \displaystyle T'\leftarrow \{[t]_{{\overline {\rho }}_{i}}:\ t\in T\}}](https://wazniak.mimuw.edu.pl/api/rest_v1/media/math/render/svg/a1db1dd5f3c03cf0ef6a7b101c33aba112d01d7a)
;
29 return 
;
![{\displaystyle {\begin{array}{lll}\displaystyle {\textrm {b)}}\lim _{x\rightarrow 2^{+}}(x-2)e^{\frac {1}{x-2}}&=&\displaystyle \lim _{x\rightarrow 2^{+}}{\frac {e^{\frac {1}{x-2}}}{(x-2)^{-1}}}{\begin{array}{c}\left[{\frac {\infty }{\infty }}\right]\\=\\H\end{array}}\lim _{x\rightarrow 2^{+}}{\frac {-(x-2)^{-2}e^{\frac {1}{x-2}}}{-(x-2)^{-2}}}=\\&=&\displaystyle \lim _{x\rightarrow 2^{+}}e^{\frac {1}{x-2}}=+\infty ;\end{array}}}](https://wazniak.mimuw.edu.pl/api/rest_v1/media/math/render/svg/701f85d9f752c21e079610ba43b3032505d325a2)
alalalalaa
alala
|
Złożoność czasowa |
Złożoność pamięciowa
|
| Maszyna dodająca |
 |
|
Maszyna rozpoznająca  |
 |
|
 |
0 |
1 |
... |
...
|
| Cell1 |
Cell2
|
|
0 |
1 |
|
| 0 |
1 |
1
|
| 1 |
0 |
1
|
 |
|
| 0 |
1 |
|
| 1 |
0 |
|
 |
0 |
1 |
|
| 0 |
0 |
0
|
| 1 |
0 |
1
|
 |
0 |
1 |
|
| 0 |
0 |
1
|
| 1 |
1 |
1
|
| Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{p}}
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{q}}
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{p} \wedge \textnormal{q}}
|
 |
|
 |
|
| 0 |
0 |
0 |
1 |
1 |
1 |
1
|
| 0 |
1 |
0 |
1 |
1 |
0 |
1
|
| 1 |
0 |
0 |
1 |
0 |
1 |
1
|
| 1 |
1 |
1 |
0 |
0 |
0 |
0
|
| Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{p}}
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{q}}
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{r}}
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle (\textnormal{p} \wedge \textnormal{q})}
|
 |
 |
 |
|
| 0 |
0 |
0 |
0 |
0 |
0 |
0 |
1
|
| 0 |
0 |
1 |
0 |
0 |
0 |
0 |
1
|
| 0 |
1 |
0 |
0 |
0 |
1 |
1 |
1
|
| 0 |
1 |
1 |
0 |
0 |
0 |
0 |
1
|
| 1 |
0 |
0 |
0 |
0 |
0 |
0 |
1
|
| 1 |
0 |
1 |
0 |
1 |
0 |
1 |
1
|
| 1 |
1 |
0 |
1 |
0 |
1 |
1 |
1
|
| 1 |
1 |
1 |
1 |
1 |
0 |
1 |
1
|
Numer
funkcji |
 |
 |
|
|
|
|
| 0 |
0 |
0 |
0 |
0 |
|
|
| 1 |
0 |
0 |
0 |
1 |
|
|
| 2 |
0 |
0 |
1 |
0 |
|
|
| 3 |
0 |
0 |
1 |
1 |
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{p}}
|
| 4 |
0 |
1 |
0 |
0 |
|
|
| 5 |
0 |
1 |
0 |
1 |
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{q}}
|
| 6 |
0 |
1 |
1 |
0 |
|
|
| 7 |
0 |
1 |
1 |
1 |
|
|
| 8 |
1 |
0 |
0 |
0 |
|
|
| 9 |
1 |
0 |
0 |
1 |
|
|
| 10 |
1 |
0 |
1 |
0 |
|
|
| 11 |
1 |
0 |
1 |
1 |
|
|
| 12 |
1 |
1 |
0 |
0 |
|
|
| 13 |
1 |
1 |
0 |
1 |
|
|
| 14 |
1 |
1 |
1 |
0 |
|
|
| 15 |
1 |
1 |
1 |
1 |
|
|
| Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{p}}
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{q}}
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{r}}
|
 |
 |
 |
|
| 0 |
0 |
0 |
1 |
0 |
1 |
0
|
| 0 |
0 |
1 |
1 |
1 |
0 |
1
|
| 0 |
1 |
0 |
0 |
1 |
0 |
1
|
| 0 |
1 |
1 |
0 |
0 |
1 |
0
|
| 1 |
0 |
0 |
0 |
1 |
1 |
1
|
| 1 |
0 |
1 |
0 |
0 |
0 |
0
|
| 1 |
1 |
0 |
1 |
0 |
0 |
0
|
| 1 |
1 |
1 |
1 |
1 |
1 |
1
|
| Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{p}}
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{q}}
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{r}}
|
|
| 0 |
0 |
0 |
0
|
| 0 |
0 |
1 |
1
|
| 0 |
1 |
0 |
1
|
| 0 |
1 |
1 |
0
|
| 1 |
0 |
0 |
1
|
| 1 |
0 |
1 |
0
|
| 1 |
1 |
0 |
0
|
| 1 |
1 |
1 |
1
|
| Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{p}}
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{q}}
|
Parser nie mógł rozpoznać (nieznana funkcja „\textnormal”): {\displaystyle \textnormal{r}}
|
|
| 0 |
0 |
0 |
1
|
| 0 |
0 |
1 |
1
|
| 0 |
1 |
0 |
1
|
| 0 |
1 |
1 |
1
|
| 1 |
0 |
0 |
1
|
| 1 |
0 |
1 |
1
|
| 1 |
1 |
0 |
0
|
| 1 |
1 |
1 |
1
|
|
0 |
1 |
2 |
|
| 0 |
2 |
2 |
2
|
| 1 |
0 |
2 |
2
|
| 2 |
0 |
1 |
2
|
Nagroda Goedla
Zobacz Nagroda Goedla]]
Nagroda Turinga
Zobacz Nagroda Turinga
Nagroda Knutha
Zobacz Nagroda Knutha
Parser nie mógł rozpoznać (nieznana funkcja „\begincases”): {\displaystyle g(C)=\begincases C\cup \{f(C')\} C \endcases }
Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle g(C)=\left\{\aligned C\cup \{f(C')\}\\C\endaligned \right}
Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle c\forall d\; c\in C \land d\in C \land c\sqsubseteq d\implies c\sqsubseteq' d, (C,\sqsubseteq) \preccurlyeq (C',\sqsubseteq') \iff C\subset C' \land \left\{\aligned \forall c \forall d\; &(c\in C\land d\in C) \implies (c\sqsubseteq d \iff c\sqsubseteq' d) \textrm{ oraz }\\ \forall c \forall d\; &(c\in C\land d\in C'\setminus C) \implies c\sqsubseteq' d \endaligned \right}
dla każdego Parser nie mógł rozpoznać (błąd składni): {\displaystyle a \in A \\h(n', a) = g(h(n, a), n, a)}
dla każdego 
i 
dla każdego Parser nie mógł rozpoznać (błąd składni): {\displaystyle a \in A \\ e(g(n, a), n, a)}
dla każdego i 
