Abstract
Półgrupa charakterystyczna automatu ingeruje w algorytm obliczeniowy uogólnionych homomorfizmów
automatów, zatem wyznaczenie złożoności półgrupy charakterystycznej pozwala na oszacowanie
złożoności obliczeniowej uogólnionych homomorfizmów dla innych klas automatów. W
zakresie modelu matematycznego koncepcja ustalonego analogu rozszerzenia automatu A
związanego z izomorfizmami g0, g1,..., gq-1, gdzie q stopień rozszerzenia, przy odpowiednich
założeniach symuluje automat zmienny w czasie. Automat zmienny w czasie jest adekwatnym modelem
matematycznym dla wielu procesów technicznych i obliczeniowych czasu rzeczywistego. Automaty te
symulują pracę kilku automatów za pomocą jednego automatu zmiennego w czasie. Sumę prostą
automatów można uważać za realizację
– odpowiednio sekwencyjnych obliczeń.
Publisher
Siec Badawcza Lukasiewicz-Instytut Pojazdow Szynowych "TABOR"
Reference29 articles.
1. Arbib M.A.: Algebraic theory of machines languages and semigroups, Acadimic Press, New York and London 1968.
2. Aho A.V., Hopcrofy I.E., Ullman I.D.:Projektowanie i analiza algorytmów komputerowych,PWN,Warszawa 1983.
3. Barnes B.: On the groups of automorhism of strongly connected automata, Math.Syst. Theory 4, 4 (1970).
4. Beatty I. C.;On some properties of semigroup of a machine which are preserved under state minimization, Information and Control 11, 3 (1970).
5. Beyga L.: On periodic sums of automata associated with isomorphism, Foundations of Control Enginiering 1,3 (1976).