Comprehensive glossary of terms in language theory, compilation, and formal semantics. Clear definitions with links to explanatory articles.