Zastosowanie algorytmów Markowa i algebr uniwersalnych do projektowania systemów obliczeń symbolicznych

• Autorzy: Kryvyy S. , Wyrzykowski R. , Kopta P.

Warianty tytułu

EN

Utilization of Markow's algorithms and universal algebras to design symbolic computation systems

• Języki publikacji: PL

Abstrakty

PL

Systemy obliczeń symbolicznych odgrywają ważną rolę w informatyce. Wykorzystuje się je w różnych dziedzinach, takich jak: zbiory, algebra i geometria komputerowa, grafy, metody numeryczne, translatory itd. W artykule zaproponowano podejście do budowy takich systemów na podstawie algorytmicznego systemu Markowa i systemu algebraicznego struktur listowych. Za pomocą takiego systemu można wykonywać przetwarzanie różnych obiektów: zbiorów, algebr, grafów, logik, języków programowania itd. Do realizacji tych zadań wykorzystuje się systemy algebraiczne struktur listowych, które są dynamicznymi strukturami danych i najbardziej nadają się do takich obliczeń.

EN

Symbolic computation systems play a major role in computer information science. They are being explored in several fields such as: collections of class, in computer algebra and geometry, graphs, numerical methods, translators, etc. In the article we suggest the way to build such systems based on Markow algorithmic system and systems of algorithmic linear structures. Thanks to such systems it is possible to translate different objects such as: collections, algebras, graphs, logical programming languages etc. In order to realize these assignments we are utilizing algebraic systems of linear structure which are dynamic data structures and which are most practical resolutions.

Słowa kluczowe

PL

algorytm Markowa; system Markowa; obliczenia symboliczne

EN

Markow's algorithm; Markow's system

• Wydawca: Oficyna Wydawnicza Politechniki Rzeszowskiej
• Czasopismo: Zeszyty Naukowe Politechniki Rzeszowskiej. Informatyka
• Rocznik: 2003
• Tom: z. 2 [206]
• Strony: 57--72
• Opis fizyczny: Bibliogr. 3 poz., rys.

Twórcy

autor

Kryvyy S.

autor

Wyrzykowski R.

autor

Kopta P.

• Politechnika Rzeszowska

Bibliografia

• [1] Markow A.A., Nagornyj N.M.: Algorytmy Markowa. Nauka, Moskwa 1998.
• [2] Mendelson E.: Introduction to Mathematical Logic. Van Nostrand Company, Inc. Princeton, New Jersey 1988.
• [3] Knuth D.E.: Sztuka programowania, t. 1. WNT, Warszawa 2003.