Metoda syntezy automatów skończonych klasy D (metoda А4)
Różnica między automatem klasy D a automatem klasy C polega na tym, że automaty klasy D są automatami Mealy’ego i każdy formowany wektor zmiennych wyjściowych określa kod stanu następnego. Do przejścia od dowolnego automatu skończonego (klasy A) do automatu klasy D w metodzie A4 wykorzystuje się rozszczepienie stanów wewnętrznych. Oprócz tego, aby można było zbudować automat klasy D, układ PLD powinien dopuszczać konfigurację wyjściowych makrokomórek z przerzutnikami w pętlach sprzężeń zwrotnych. Metoda A4 syntezy automatów skończonych klasy D może być alternatywą dla metody syntezy automatów klasy C w wypadkach, kiedy realizowany automat powinien być automatem Mealy’ego.