Synteza generatorów indeksów metodą dekompozycji liniowej

Omówiono nowy algorytm syntezy generatorów indeksów, który umożliwia przeprowadzenie procedury redukcji i dekompozycji liniowej funkcji generowania indeksów. Algorytm wykonuje obliczenia dla wszystkich odnalezionych reduktów oraz niezredukowanej funkcji i odnajduje najkorzystniejsze rozwiązania zgodnie z przyjętą strategią. Wyniki przeprowadzonych eksperymentów zostały skonfrontowane z obecnie przyjętym założeniem, w którym do procedury dekompozycji liniowej stosuje się minimalno-argumentowe reprezentacje funkcji.

---

A new method of index generation function, which allows to perform the procedure of argument reduction and linear decomposition is discussed. This tool execute calculations for all found reducts along with non-reduced function and finds most favorable result in accordance with the adopted strategy. The results of experiments were confronted with the current assumption in which representations of functions with a minimal argument set are used for the linear decomposition procedure.