Здравствуйте. Задали построить конечный детерминированный автомат, заданный следующим образом:

Литературу по теме читала, но не могу понять, как получаются функции переходов-выходов в таблице. Может быть, у кого-нибудь есть хороший пример?