Redigerer Lingvistikk (avsnitt)

==Egenskaper ved naturlige språk==
[[Fil:Droste.jpg|thumb|Et rekursivt bilde. [[Rekursjon]] blir noen ganger kalt «[[Droste-effekten]]» på grunn av emballasjeillustrasjonen for et nederlandsk kakaomerke fra 1904.]]

Antikkens grekere og indere forsto allerede at naturlige språk organiserer seg rundt grammatiske kategorier, som [[substantiv]]er og [[verb]], [[nominativ]] og [[akkusativ]], eller [[presens]] og [[preteritum]].

I tillegg til å bruke slike grammatiske kategorier har naturlige språk den viktige egenskapen at de organiserer elementer i [[rekursjon|rekursive]] strukturer. En [[substantivfrase]] kan inneholde en annen substantivfrase, og en bisetning kan inneholde en annen bisetning. Substantivfrasen ''kongen av Danmarks sønns favorittsjokolade'' er et eksempel på dette. Rekursjon var kjent i lingvistikken tidligere (for eksempel gjennom [[Otto Jespersen (lingvist)|Jespersen]]), men det var først etter publiseringen av [[Noam Chomsky]]s bok ''Syntactic structures''<ref>Chomsky, Noam (1957): ''Syntactic Structures''. Mouton, the Hague.</ref>
i 1957 at man forsto rekkevidden av dette aspektet ved naturlige språk.

Chomsky brukte en [[kontekstfri grammatikk]] med tillegg av ''transformasjoner'' til å skrive en formell grammatikk for et fragment av [[engelsk]]. Siden har kontekstfrie grammatikker blitt skrevet for store fragmenter av forskjellige språk (for eksempel [[GPSG]] for engelsk), men det finnes nå matematiske beviser for at kontekstfrie grammatikker ikke kan takle fenomener som ''kryss-serielle avhengigheter'', og disse finnes i naturlige språk. Dette viser altså at man trenger kraftigere mekanismer, for eksempel ''transformasjoner.''

Et eksempel på slike kryss-serielle avhengigheter kommer fra [[nederlandsk]]:<ref>Bresnan, Joan; Kaplan, Ronald; Peters, Stanley; og Zaenen, Annie (1982): «Cross-serial dependencies in Dutch» i: ''Linguistic Inquiry'' '''13''', s. 613-636.</ref><ref>Shieber, Stuart (1985): «Evidence against the context-freeness of natural language» i: ''Linguistics and Philosophy'' '''8''', s. 333-344.</ref>

:Ik denk dat Jan Piet de kinderen zag helpen zwemmen
:Jeg tror  at Jan Piet  barna  så hjelpe svømme
:Jeg tror at Jan så Piet hjelpe barna å svømme.

Poenget er at substantivfrasene foran verbklyngen (''Jan, Piet, de kinderen'') avhenger av verbene i verbklyngen (''zag, helpen, zwemmen'') i tur og orden fra venstre til høyre.

Dette betyr at formalismer for grammatikker for naturlige språk må være relativt kraftige med hensyn til hva slags strukturer og avhengigheter de kan generere. Det finnes likevel  komputasjonelle implenteringer av, blant andre, GPSG, HPSG, Kategorielle grammatikkformalismer og minimalisme.<ref>Pullum, Geoffrey K. (2009) «Computational linguistics and generative linguistics: the triumph of hope over experience.» In T. Baldwin and V. Kordoni (Eds.) "Proceedings of the EACL 2009 Workshop on the Interaction between Linguistics and Computaitional Linguistics: Virtuous, Vicious or Vacuous?", Athens, Greece, pp 12-21. Association for Computational Linguistics.</ref><ref>Stabler, Ed (2010) «Computational perspectives on minimalism» in Boexx et al. "Handbook of linguistic minimalism", pp. 616-641. URL: http://www.linguistics.ucla.edu/people/stabler/Stabler10-Min.pdf</ref>