Recursion, in sum, allows language to become an infinite system. The Chomskyan view is that this ability is quite special, unique to humans.

Analytical approach to the study of programming languages. Description of the salient features of the imperative, functional, logical, and object-oriented programming paradigms in a suitable ...

Topics include: counting methods, elementary formal logic and set theory, recursive programming, digital logic and combinational circuits, real number representation, regular expressions, finite ...