Złożoność półgrupy charakterystycznej sumy prostej automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmami
- Stanisław BOCIAN
- Kategoria: Pozostałe zagadnienia
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 g, g,..., 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ń.
COMPLEXITY OF THE CHARACTERISTIC SEMI-GROUP OF THE ASYNCHRONOUS AUTOMATONS DIRECT SUM OF THE STRONGLY
CONNECTED DETERMINED ANALOGS, THEIR EXTENSIONS ASSOCIATED
WITH ISOMORPHISMS
The characteristic semi-group of the automaton interferes in the computational algorithm of the generalized homeomorphisms of the automatons. Then determination the complexity of the characteristic semi-group enables to estimate the complexity of the computational generalized homeomorphisms for the other classes of automatons.
In the range of the mathematical model the conception of the determined analog of the extension of the automaton A associated with the isomorphisms g, g, …gq-1, where q is the grade of the extensions, with the suitable assumptions it simulates the automaton variable in time. The variable automaton in time is the adequate mathematical model for the many technical and computational processes of the real time. The direct sum of automatons can be considered as the realization - sequence calculations accordingly. (...)
CONNECTED DETERMINED ANALOGS, THEIR EXTENSIONS ASSOCIATED
WITH ISOMORPHISMS
The characteristic semi-group of the automaton interferes in the computational algorithm of the generalized homeomorphisms of the automatons. Then determination the complexity of the characteristic semi-group enables to estimate the complexity of the computational generalized homeomorphisms for the other classes of automatons.
In the range of the mathematical model the conception of the determined analog of the extension of the automaton A associated with the isomorphisms g, g, …gq-1, where q is the grade of the extensions, with the suitable assumptions it simulates the automaton variable in time. The variable automaton in time is the adequate mathematical model for the many technical and computational processes of the real time. The direct sum of automatons can be considered as the realization - sequence calculations accordingly. (...)
Artykuł zawiera 26363 znaków.
Źródło: Czasopismo Logistyka
Zaloguj się by skomentować