The goal is not perfection but progress.
The study of formal languages and automata is essential for understanding the theoretical underpinnings of computer science.