What is meant by finite automaton in Theory of Automata and Formal Languages?

A. a grammar containing only terminals B. a machine with an unlimited stack and tape C. a machine model with a finite number of states D. a database transaction scheduler