Just an update–
He got permission to take CS 138 Automata and Formal Languages from the professor. He decided that was the class he most wanted to take, so he will be taking that and Linear Algebra. (MATH 4A with 600 students!)
Thanks for your advice.