Я использую таблицу конечных автоматов для двухразрядного сумматора, и я предполагаю дать уравнения для следующих переменных состояния и выходных данных без упрощения. Затем создайте диаграмму PLA. Я запутался в том, что писать для входов PLA. Являются ли входы предыдущими состояниями и х и у? И для выходов я должен только написать Z и Done или следующие состояния тоже? введите описание изображения здесь