I kompleksitetsteori er et hult språk et språk der antall ord med lengden n er avgrenset av et polynom ved n . De er nyttige i studiet av NP-klassen . Det hule adjektivet illustrerer et slikt språk godt: på et alfabet med to bokstaver, da det er 2 n ord med lengden n , så hvis det bare er et polynomisk antall ord med lengden n , betyr dette at andelen ord med lengden n i et hul språk har en tendens til 0, når n har en tendens til uendelig.
Alle unary språk (dvs. språk hvis ord er skrevet på en enkelt bokstav) er hule. Språket for ord på alfabetet {0, 1} der det er nøyaktig k forekomster av 1 er et hul språk.