Test GR2

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania


 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      flagtrue;
 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      ;
 25    end for
 26  end for
 27  ;
 28  ;
 29  return ;



Uzupelnij tytul

|| ||

|| || ||

|| || ||

|| || ||

|| || ||

|| || ||

|| || ||

|| || ||

|| || ||

... || ... || ... || ...




 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