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 i iloczyn prosty automatów można uważać za realizację – odpowiednio sekwencyjnych i równoległych obliczeń Maszyna o skończonej liczbie stanów FSM (Finite State Machine – Skończona
Maszyna Stanowa, lub automat cyfrowy) jest jednym z modeli opisującym zachowanie systemów sterowania, w którym chwilowe działanie systemu jest w sposób naturalny pewne abstrakcyjne modele układów cyfrowych, to znaczy elementów i układów pracujących w dyskretnych chwilach czasu, przy czym sygnały mają skończoną liczbę wartości. Teoria automatów będąca teoretycznym rozwinięciem układów logicznych – jest skutecznym narzędziem projektowania, umożliwiającym formalne projektowanie złożonych układów cyfrowych z zastosowaniem standartowych układów elementarnych. (…)
Artykuł zawiera 29095 znaków.
Źródło: Czasopismo Logistyka