en nem ertem miert akadsz fent, szerintem teljesen ertheto ez a dekompozicio. :)
F_2 = aS(a^-1) U S(a).
minek kell bennelenni?
- epszilonak: aa^1 = epszilon - pipa
- a -val kezdodo szavaknak: S(a) miatt pipa
amik nehezebb latszodnak, azok a
- a^1 -el kezdodo szavak
- b -vel kezdodo szavak
- b^-1 el kezdodo szavak.
a trukk az egeszben, hogy S(a^-1) -nek reszhalmaza a fenti halmazok (de mind vegtelen), mert ugye S(a^-1)nek resze a^-1S(b). mivel a -val inditunk, igy aa^-1S(b) = S(b) lesz.
ugyanez igaz a masik dekompoziciora is. remelem igy erthetobb :)