Эвристика и теория автоматов