CSC312 Automata Theory Lecture # 2 Languages. 2 Alphabet: An alphabet is a finite set of symbols, usually letters, digits, and punctuations. Valid/In-valid.