Lightning Review 1: Strings, Languages, DFAs

This is Lightning Review 1: Strings, Languages, DFAs, a companion video for lecture 1 of COMS W3261: Computer Science Theory at Columbia University. This isn't a standalone video - it's designed to complement the course content. (Some of the audio isn't great on this one - I'll try to speak into the mic more consistently in future videos.) 0:00 Alphabets, Strings, and Languages 5:48 DFA State Diagrams 9:11 Checking/Evaluating State Diagrams 12:24 Formal Definition of a DFA Course website: https://twrand.github.io/3261-sum22.html Video notes: https://twrand.github.io/pdfs/notability/COMSW3261_sum22_LR1.pdf