Jaka jest różnica między automatami skończonymi a automatami skończonymi?

Użyłem FSM w projektach cyfrowych układów sekwencyjnych. Ale nie znam Finata Automata. Czy ktoś może mi pomóc w zrozumieniu „podstawowej” różnicy między nimi?

O ile rozumiem, oba mają „stany” i „działania”, które powodują, że maszyna przemieszcza się z jednego stanu do drugiego na podstawie sygnału wejściowego. Zatem koncepcyjne pomysły są takie same. Jest pewna różnica w szczegółach.

W FSM dla projektów układów przyjmuje się, że sygnał wejściowy jest zazwyczaj nieco (binarny), natomiast w automatach skończonych można mieć ogólny „abstrakcyjny” alfabet symboli wejściowych. Po drugie, FSM generuje również dane wyjściowe związane z osiągniętym stanem, również binarne. W terminologii automatycznej to „rozszerzenie” nazywa się maszyną Moore'a. Automaty mają jednak końcowe (lub przyjmujące) stany, które sygnalizują korzystny odczyt wejścia. Wreszcie, FSM są w większości deterministyczne, tj. Dla każdego wejścia w pewnym stanie jest jeden następny stan. W teorii automatów rozważa się również niedeterministyczny wariant, w którym można mieć wybór, gdzie się przenieść.

Na podstawie mojego doświadczenia oraz artykułu w Wikipedii istnieje kilka rodzajów skończonych maszyn stanowych , w tym

• automaty skończone ,
• przetworniki i
• systemy przejściowe .

Niektóre z latających pojęć różnią się głównie motywacją; niektóre powstały z teorii języka i / lub obliczalności, inne z architektury komputera.

Zauważ, że możesz także zmienić kilka paradygmatów, aby uzyskać automaty, które prawdopodobnie są wciąż automatami o skończonym stanie, na przykład

• Automaty Büchi ,
• automaty probabilistyczne ,
• automaty kwantowe lub
• automaty do drzewa .

Jak widać, automaty skończone waniliowe, jak nauczano w TCS 101, to tylko jeden z wielu smaków, każdy z własną (mniej lub bardziej formalną) definicją.

Chociaż główna idea, na której oboje polegają, jest taka sama. Oba używają stanów skończonych i przechodzą do innego stanu jako źródło danych wejściowych. Jednak FSM jest maszyną, taką jak Full adder lub SR flipflop, ma bity jako dane wejściowe i wyjściowe. Tak, FSA ma również wyjście bitowe, 0 dla stanu nie kończącego się i 1 dla stanu kończącego, ale jest to abstrakcyjny mechanizm, którego nie widać. Istnieją różnice w rysunkach, które są narysowane w celu ich przedstawienia. Poza tym FSA jest urządzeniem logicznym i obliczeniowym, podczas gdy FSM jest cyfrowym urządzeniem logicznym.