I matematikk, informatikk og logikk er et formelt språk et (også kalt ) hvis det eksisterer ei turingmaskin som sies å avgjøre språket. Med andre ord må det eksistere ei turingmaskin som for ethvert input vil kunne stoppe. Om dette kravet ikke er oppfylt, kalles det i stedet for et rekursivt nummererbart språk. Rekursive språk sies å være avgjørbare.