Control problems for discrete-event systems or hybrid systems typically involve manipulation of languages that describe system behaviors. This chapter introduces basic automata and grammar models for generating and analyzing languages of the Chomsky hierarchy, as well as their associated decision problems, which are necessary for the understanding of other parts of this book. Notions of decidab...