Конечные автоматы и алгебраические модели программ с позиции разрешимости проблемы эквивалентностистатья