Development of the device for establishing acorrespondence between classes of tolerance and basic routes

Given work is dedicated to recognition relations isoforms of the embedding routs of realized algorithm, which is reduced to building of tolerance on ensemble base route (BM)- W [1] and the following determination correspondence to between representative of tolerance classes and basic routes. Finding comparisons relations on ensemble BM is concluded in finding on W subset W` image wi ′ and partition all route from ensemble W BM on subset Wi,Wi ∈ W, route wi, wi ∈ W, each of which within the subset Wi has same image w`.The relation "has acommon image", according to [2], there is nothing else than tolerance relations. The Collection { wi ′} all image and will form the system base route (SBM) W`, W`⊆ W. Constructive determination of this notion is given in the article. The theorem is proved. The conclusions are given.

Development of the device for establishing acorrespondence between classes of tolerance and basic routes

Given work is dedicated to recognition relations isoforms of the embedding routs of realized algorithm, which is reduced to building of tolerance on ensemble base route (BM)- W [1] and the following determination correspondence to between representative of tolerance classes and basic routes. Finding comparisons relations on ensemble BM is concluded in finding on W subset W` image wi ′ and partition all route from ensemble W BM on subset Wi,Wi ∈ W, route wi, wi ∈ W, each of which within the subset Wi has same image w`.The relation "has acommon image", according to [2], there is nothing else than tolerance relations. The Collection { wi ′} all image and will form the system base route (SBM) W`, W`⊆ W. Constructive determination of this notion is given in the article. The theorem is proved. The conclusions are given.

___

  • 1. Musaev M.U., Ruchka E.I. Formalniy apparat ustanovleniya sxodstva i razlichiya algoritmov i avtomatov. Dep.v UzNIINTI 27.12.88. No. 912. - 16 p.
  • 2. Bekmuratov T.F., Musaev M.U. Metody razpoznovaniya sxodstva i razlichiya algoritmov i avtomatov // Uzbekskiy journal "Problemy informatiki i energi". - No. 2-3.- 1994. – S. 3-6 .