Złożoność półgrup charakterystycznych „G” automatów asynchronicznych silnie spójnych

W artykule przedstawiono twierdzenie i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych dowolnej liczby („G”) automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna jest szczególnie istotnym pojęciem w teorii automatów; jest nośnikiem ważnych informacji i określa zdolność do przetwarzania informacji. Ma to bezpośrednio ważkie konsekwencje praktyczne w sferze projektowania optymalnych układów logicznych. Suma prosta automatów można uważać za realizację – odpowiednio sekwencyjnych obliczeń

---

The paper presents the assumption and the evidence is carried out of the simple sum complexity of characteristic semigroups of any number (“G”) of deterministic, finite, asynchronous, highly consistent DFASC2 automata. The characteristic semi – group is the particularly essential conception in the automaton theory; it is the carrier of the important information and define the ability to information processing. It has the direct weighty consequences that are practical in the designing domain of the optimum logic circuits. The direct sum of automatons can be considered as the realization–the sequence calculations accordingly.