О проверке эквивалентности детерминированных биоавтоматовтезисы доклада