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