アルファベットを煤＋a,b,a',b'}とするSTS(Semi Thue System)における書き換え規則を
ba→ab、b'a→ab'、ba'→a'b、b'a'→a'b'
aa'→{}、a'a→{}、bb'→{}、bb'→{}　({}は空の文字列)
としたとき、この系がcomplete(完備)であることの証明をお願いします。
あと、正規形はどのような形になりますか？