Распознавание свойств графов автоматамидоклад на конференции