Comparison of algebraic methods for algorithm transforms

• Autorzy: Ovsyak O.

Warianty tytułu

PL

Porównanie metod algebraicznych przetwarzania algorytmów

• Języki publikacji: EN

Abstrakty

EN

Methods of intuitive and algebraic description of algorithms are presented in the paper. Algebraic methods are compared in spite of their operation systems. Comparison of operations, their properties and classes of described algorithms are shown in the paper. Possibilities of expanding modern object programming languages based on the use of modified algebra algorithms are also shown. Comparing formulas of modified system of algorithmic algebras and algebra algorithms are presented and compared.

PL

W artykule przeanalizowano metody intuicyjnego oraz algebraicznego opisu algorytmów. Obecnie istnieją cztery systemy algebr algorytmów: system algebr algorytmicznych Głuszkowa [4], modyfikacja tego sytemu wprowadzona przez Zeitlina [5], algebra algorytmów [6] oraz modyfikacja tej algebry, wprowadzona przez autora [7, 8]. Podkreślono zalety wykorzystania metod algebraicznych i ich przewagę nad metodami intuicyjnymi. Metody algebraiczne porównano pod względem używanych zbiorów operacji, właściwości operacji oraz klas opisywanych algorytmów. Pokazano że system algebr algorytmicznych Głuszkowa oraz jego modyfikacja wykorzystują operacje logiczne, takie jak koniunkcja i dysjunkcja, podczas gdy algebra algorytmów oraz zmodyfikowana algebra algorytmów wykorzystują operacje sekwencjonowania i zrównoleglenia. System algebr algorytmicznych oraz jego modyfikacja wykorzystują do uporządkowania operację kompozycji, która ma właściwość łączności. Podobnie jak w algebrze algorytmów tak i w jej modyfikacji do opisu kolejności wykorzystywana jest operacja sekwencjonowania, która ogólnie nie jest łącznościowa. Tym samym algebra algorytmów oraz jej modyfikacja rozszerzają możliwości opisywanych algorytmów, uwzględniając klasę algorytmów nie łącznościowych. Tej klasy nie uwzględnia system algebr algorytmicznych Głuszkowa oraz jego modyfikacja sformułowana przez Zeitlina. Pokazano możliwości rozszerzenia języków współczesnego programowania obiektowego przez wykorzystanie operacji algebry algorytmów oraz jej modyfikacji. Może to doprowadzić do uproszczenia zapisu algorytmów przy zachowaniu ich właściwości. Porównano właściwości trzech systemów algebraicznych: algebry algorytmów zmodyfikowanej przez autora, znanej algebry algorytmów, oraz zmodyfikowanego systemu algebr algorytmicznych Głuszkowa – Zeitlina. Podano wyniki porównania formuł algorytmów systemu algebr algorytmicznych i zmodyfikowanej przez autora algebry algorytmów. Przedstawiono możliwości uporządkowania zmiennych funkcji wielu argumentów.

Słowa kluczowe

EN

algorithm algebra system; operation properties; algorithm formula; uniterm

PL

algebra algorytmów; system algebr algorytmicznych; właściwości operacji; formuła algorytmu; uniterm

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2013
• Tom: R. 59, nr 10
• Strony: 1046--1048
• Opis fizyczny: Bibliogr. 8 poz., rys., tab., wzory

Twórcy

autor

Ovsyak O.

• National University of Culture and Arts, Shuchevitsha 5, Lviv, Ukraine

Bibliografia

• [1] Post E. L.: Finite Combinatory Processes - Formulation 1. Journal of Symbolic Logic, 1, pp. 103-105, 1936. Reprinted in The Undecidable, pp. 289ff.
• [2] Turing A. M.: On computable numbers, with an application to the Entscheidungsproblem. Proceedings of London Mathematical Society, series 2, vol. 42 (1936-1937), pp. 230-265; correction, ibidem, vol. 43, pp. 544-546. Reprinted in [13 Davis M., pp. 155-222] and available online at http://www.abelard.org/turpap2/tp2-ie.asp
• [3] Kolmogorov A. N.: On the concept of algorithm (in Russian). Uspekhi Mat. Nauk 8:4 (1953), pp. 175-176; translated into English in Uspensky V. A., Semenov A. L.: Algorithms: Main Ideas and Applications, Kluwer, 1993.
• [4] Gluschkow W. M., Zeitlin G. E., Justchenko J. L.: Algebra. Sprachen. Programmierung. – Akademie-Verlag, Berlin 1980. – 340 p.
• [5] Zeitlin G. E.: Algebraiczeskaja algorytmika: teoria i primenienija. Kibernetika i sistemnyj analiz. 2003, No. 1, p. 8–18.
• [6] Owsiak W., Owsiak A., Owsiak J.: Teoria algorytmów abstrakcyjnych i modelowanie matematyczne systemów informacyjnych. Wyd. Pol. Opolskiej, Opole, 2005.
• [7] Owsiak W., Owsiak A.: Rozszerzenie algebry algorytmów. Pomiary Automatyka Kontrola. Vol. 56, 2010, No. 2, s. 184-188.
• [8] Ovsyak A. V., Ovsyak V. K.: Modificirowannaja algebra algorytmov i instrumentalnyje sredstva obrabotki formul algebry algorytmov. Upravlajuszczije systemy i maszyny. 2013, No. 1, s. 27–36.