Złożoność półgrupy charakterystycznej automatów asynchronicznych spójnych ustalonych analogów ich rozszerzeń związanych z izomorfizmami

Półgrupa charakterystyczna automatu ingeruje w algorytm obliczeniowy uogólnionych homomorfizmów automatów, zatem wyznaczanie złożoności pólgrupy 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.

---

The characteristic semigroup of the automaton interferes in the computational algorithm of the generalized homeomorphisms of the automatons. Then determination the complexity of the characteristic semigroup enables to estimate the complexity of the computational generalized homeomorphism for the other classes of the automatons. In the range of the mathematical model the conception of the determined analog of the extension of the automaton A associated with the isomorphism g0, g1,…,gq-1, where q is the grade of the extensions, with the suitable assumptions it simulates the automaton variable in time. The variable automation in time is the adequate mathematical model for the many technical and computational processes of the real time.