Algorytmiczne układy sekwencyjne ASM (A/gorithmic State Machineś) stanowią alternatywną metodę opisu automatów FSM.
Pozwalają one reprezentować układy sekwencyjne w postaci sieci działań, co znacznie zwiększa czytelność opisu.
Diagram ASM składa się z bloków ASM. Każda taki blok zawiera klatkę operacyjną (stanu), sieć klatek decyzyjnych i warunkowe klatki wyjść.
Klatka operacyjna przedstawiana jest jako prostokąt i reprezentuje stan automatu FSM, którego nazwę umieszcza się obok prostokąta. Wewnątrz klatki umieszcza się akcję przedstawiające przypisania wartości do sygnałów, jakie powinny zostać wykonane w momencie wejścia automatu do tego stanu. Odpowiadają one wyjściom Moorefr automatu FSM
Klatki decyzyjne sprawdzają warunki wejściowe w celu określenia ścieżki przejścia automatu do następnego stanu. Możliwe są sieci klatek decyzyjnych dla opisania złożonych warunków przejść automatu.
Warunkowe klatki wyjść także opisują przypisania do sygnałów. Jednakże umieszczane są one na ścieżkach wyjściowych ze satanulatego rerezenująwyjścia Majy'ęqo --
Mariusz Rawski