Описание границы отделимости разрешимости свойства обратимости для клеточных автоматовдоклад на конференции