Сердюк, С. М. АНАЛІЗАТОР СКІНЧЕННИХ ЦИФРОВИХ АВТОМАТІВ. ВТН 2016, 146-150.