JFiZO - Zadanie 09.028

• L = \{w \in \{0, 1\}^* : |w|_0 \le |w|_1 \le 2|w|_0 \}
  
• G = <\{S\}, \{0, 1\}, S, P>
  
• S \rightarrow S0S1S | S1S0S | S0S1S1S | S1S0S1S | S1S1S0S | \epsilon
• Tutaj chyba można olać leading S — Alistra 2010/03/21 15:37
  

L(G) \subseteq L:
Zawsze dokładamy nic, zero i jeden, dwa zera i jeden. Co zapewnia nam warunek: |w|_0 \le |w|_1 \le 2|w|_0

L \subseteq L(G):