Zaloguj się

Izomorfizm półgrupy charakterystycznej sumy prostej i iloczynu prostego automatów asynchronicznych silnie spójnych i ustalonych analogów ich rozszerzeń

W artykule przedstawiono, że półgrupa charakterystyczna sumy prostej i iloczynu prostego automatów asynchronicznych silnie spójnych i ustalone analogi ich rozszerzeń są izomorficzne. Wziąwszy pod uwagę iż półgrupa charakterystyczna określa zdolność do przetwarzania informacji, to sumę prostą i iloczyn można uważać za realizację - odpowiednio sekwencyjnych i równoległych obliczeń. Uzyskane rezultaty oznaczają iż owa zdolność nie zależy od realizacji sekwencyjnej lub równoległej (taka sama liczba klas abstrakcji odpowiednich półgrup charakterystycznych).
W publikacji [7] przedstawiono rozważania dotyczące automatów z klasy
DFASC2(deterministic finite asynchronous strongly connected) i EXT DFASC (deterministic finite asynchronous strongly connected extensions). W pracach [9, 10, 11] przedstawiono twierdzenia na:
- Złożoność półgrupy charakterystycznej sumy prostej i iloczynu prostego automatów asynchronicznych silnie spójnych DFASC [9], (...)

Artykuł zawiera 18666 znaków.

Źródło: Czasopismo Logistyka

Zaloguj się by skomentować