Recursion in cognition: a computational investigation into the representation and processing of language
Descripción:
Recursion qua self-reference applies to various constructs within the cognitive sciences, such as theoretical definitions, mechanical procedures (or algorithms), (abstract or real-time) computational processes and structures. Recursion is an intrinsic property of both the mechanical procedure underlying the language faculty and the structures this faculty generates. However, the recursive nature of the generated structures and the recursive character of the processes need to be kept distinct, their study meriting individual treatment. In fact, the nature of both the syntactic derivations of the grammar (an abstract computational process) and the processing strategies of the parser (a real-time process) are iterative, which suggests that recursively-defined algorithms are implemented iteratively in linguistic cognition. Furthermore, the combination of recursion, lexical items and the impositions of the interfaces the language faculty interacts with results in a sui generis set of structures with which other domains of the mind bear the most superficial of relations. La recursividad entendida como auto-referencia se puede aplicar a varios constructos de las ciencias cognitivas, como las definiciones teóricas, los procedimientos mecánicos, los procesos de cálculo (sean éstos abstractos o concretos) o las estructuras. La recursividad es una propiedad central tanto del procedimiento mecánico que subyace a la facultad del lenguaje como de las estructuras que esta facultad genera. Sin embargo, tanto las derivaciones sintácticas de la gramática, que constituyen un proceso computacional abstracto, como las estrategias de procesamiento del parser, que son un proceso en tiempo real, proceden de forma iterativa, lo cual sugiere que la especificación recursiva de un algoritmo se implementa de forma iterativa. Además, la combinación de la recursividad con las unidades léxicas y las imposiciones de los interfaces con los que la facultad del lenguaje interactúa resulta en un conjunto de estructuras sui generis que no tienen parangón en otros dominios cognitivos.