"Formal languages" . "20th-century American mathematicians" . "Stanford University Department of Computer Science faculty" . "Programming language topics" .