I matematikk, informatikk og logikk er et (også kalt ) et språk som kan gjenkjennes av ei turingmaskin. Sagt på en annen måte, hvis det eksisterer ei turingmaskin som vil kunne ta alle gyldige strenger for det gitte språket. En annen definisjon på det er hvis språket er en rekursivt nummererbar delmengde av mengden av alle mulige ord over alfabetet av språket.