Автоматный анализ некоторых графов на выполнение свойства быть графом-кактусомдоклад на конференции