Textmeddelande: Машинные методы исследования автоматических систем