Automatic devices with stack memory application for evaluation combinations tasks

The automatic devices with stack memory traditionally being as a formalism for representation of algorithms of the syntactic analysis, can have much wider application — in particular, for formalization of rules of the decision of combinations tasks in various subject domains. In the article on a several examples discus features of a design and organization such automatic devices. Also definition the analogy between similar automatic devices and mechanism of backtracking in a prologue — system.