Vad är ett naturligt språk när man beräknar?
När människor pratar om naturligt språk i datoranvändning hänvisar de till ett programmeringsspråk som innehåller konstruktioner och syntax som speglar normalt mänskligt tal. Det huvudsakliga syftet med alla naturliga språk är att tillåta en programmerare att använda språkliga regler och termer som han eller hon redan är bekant för att kommunicera handlingsbara instruktioner till en dator. På grund av kravet på att slutanvändaren ska förklara och utnyttja ett redan känt och talat språk, brukar naturliga språk som programmering i logik (Prolog) eller Lisp vara mer intrinsiskt komplexa än andra programmeringsspråk, beroende på högre ordning eller symboliska abstraktioner av vad datorn kan förstå och agera på. Med andra ord, desto lättare är det för slutanvändaren att skapa ett datorprogram utan att behöva känna ett strukturerat processpråk, eller något annat språk än det han eller hon redan talar, desto mer komplex måste motorprogrammet för naturligt språk vara att stödja yttrandefriheten.
Naturliga språk innehåller parsers och databaser. Databaserna bestämmer vilken åtgärd datorn måste utföra baserat på instruktionen och parsern bestämmer i vilken ordning syntaxen måste utföras. Om användaren till exempel skriver "Lägg till två och två" måste tolkaren göra en åtskillnad mellan substantiv och verb, förstå vad verbets handling ska åstadkomma, söka i databasen efter ett lämpligt svar och sedan producera en utgång som uppfyller instruktion. Om användaren skriver "Lägg till två till två" måste tolkaren kunna förstå att "och" och "till" indikerar att samma åtgärd ska inträffa och sedan producera samma resultat.
Förespråkare för programmering av naturligt språk hävdar att eftersom naturliga språk tenderar att vara icke-processuella till sin natur, kan nybörjare programmerare producera meningsfulla program och uppnå betydande resultat på kortare tidsramar än de gör vid behov för att skapa processuella algoritmer som leder till samma resultat. Med naturligt språkprogrammering lär sig eleverna uttrycka en logisk notation av fakta. Prolog-program består av en databas, förhållandena mellan databasobjekt och alla gränsvillkor som avgör vilka svar som är acceptabla.
Noam Chomskys forskning och publikationer om språklig teori och användning inkluderar schematiska utforskningar av syntaxstrukturen i ett språk. Prolog- och Lisp-tolkarna uppträder på ungefär samma sätt, och logiskt sorterar instruktionen i dess komponenter och bedömer de åtgärder som ska vidtas som en följd av parsningen. De flesta naturliga språk är skrivna för engelska input och output, även om många ansträngningar pågår för att stödja lokalisering för andra språk.