What is meant by Post machine in Theory of Automata and Formal Languages?

A. a simple abstract computing model related to Turing machine computation B. a special type of regular expression C. a finite automaton with output only D. a stack-only grammar