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
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):