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