Core CS Theory

Automata & Formal Languages

The abstract machines that define what computation even is.

This domain is mapped but not yet fully charted. The full 40-field entry — journey, AI's role, people, projects, career, reality check — is coming.

← explore the charted domains