The analysis of algorithm algebra formulae in xml-format

Analysis of formulae of algebra algorithms (AA) written in xml - format is described in the paper. A specific editor uses the xml - format for AA formulae writing to and reading from the computer memory. The xml – format contains operation types, operation orientations, operation uniterm separation, and AA operation uniterms. There are shown features of algorithm formula transforms, the result of which are 5 times shorter algorithms while saving all algorithm functionalities.

Istniejąca algebra algorytmów (AA) zawiera specjalne znaki operacji, jakich nie ma wśród znaków matematycznych. Znaki mają skomplikowane formy. Znaki operacji mogą być stworzone z wykorzystaniem istniejących edytorów, takich jak na przykład Word. Jednak proces ich tworzenia jest bardzo skomplikowany i czasochłonny. Z tego powodu dla komputerowego edytowania formuł algebry algorytmów został stworzony specjalny edytor, którego główne okienko przedstawiono na rys.1. Dla zapisu formuł algebry algorytmów w pamięci komputera został stworzony specjalny format xml. Opisano format xml, służący do zapisu formuł algebry algorytmów do pamięci komputera. Zbudowano dwie formuły do analizy formatu xml, wykorzystane do identyfikacji i zapisu typów, orientacji i separatorów oraz unitermów operacji algebry algorytmów. Udowodniono, że te formuły umożliwiają wykonanie analizy formatu xml. Pokazano możliwości przekształcenia formuł algorytmów. W wyniku przekształceń możliwe jest 5 – krotne zmniejszenie liczby unitermów, przy zachowaniu wszystkich funkcjonalności formuły algorytmu.