====== JFiZO - Zadanie 09.021 ======
  -$L_1 \cup L_2$
    *niech $L_1 = L_{re1}$
    *niech $L_2 = L_{re2}$
    *więc $L_1 \cup L_2 = L_{re1 + re2}$
  -$L_1 \cap L_2$
    *niech $L_1 = L(M_1)$
    *niech $L_2 = L(M_2)$
    *niech $L_1 \cap L_2 = L(M)$
    *niech $M_1 = (Q_1, \Sigma, \delta_1, q_1, F_1)$
    *niech $M_2 = (Q_2, \Sigma, \delta_2, q_2, F_2)$
    *niech $M = (Q, \Sigma, \delta, q_0, F)$
      * niech $Q = Q_1 x Q_2$
      * niech $\delta ( (q_1, q_2), a) = (\delta_1(q_1, a), \delta_2(q_2, a))$, $\delta(q_0, \epsilon) = (q_1, q_2)$
      * niech $F = (F_1, F_2)$
  -$A^* - L$
    * Automaty to DFA
    * niech $A^* - L = L(M)$
    * niech $L = L( (Q, \Sigma, \delta, q_0, F))$
    * wtedy $M = (Q, \Sigma, \delta, q_0, Q - F)$
{{tag>[listy_zadan]}}