Formal Transformation of Fuzzy Rule Based Systems