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