Difference between revisions of "Basic Pascal Tutorial/Chapter 4/Recursion"

From Lazarus wiki
Jump to navigationJump to search
(New page: 4E - Recursion ''Recursion'' is a difficult topic to grasp. However, it's very easy to apply once you understand it. The programming assignment for this chapter will involve recursion. R...)
 
m (bypass language bar/categorization template redirect [cf. discussion])
 
(12 intermediate revisions by 8 users not shown)
Line 1: Line 1:
4E - Recursion
+
{{Basic Pascal Tutorial/Chapter 4/Recursion}}
 +
{{TYNavigator|Chapter 4/Scope|Chapter 4/Forward Referencing}}
  
''Recursion'' is a difficult topic to grasp. However, it's very easy to apply once you understand it. The programming assignment for this chapter will involve recursion.
+
4E - Recursion (author: Tao Yue, state: unchanged)
  
Recursion means allowing a function or procedure to call itself. It keeps calling itself until some limit is reached.
+
'''Recursion''' means allowing a function or procedure to call itself until some limit is reached.
  
The summation function, designated by an uppercase Sigma in mathematics, is a popular example of recursion:
+
The summation function, designated by an uppercase letter ''sigma'' (Σ) in mathematics, can be written recursively:
  
<font color="#006699"><strong>function</strong></font> Summation <font color="#000000"><strong>(</strong></font>num <font color="#000000"><strong>:</strong></font> <font color="#0099ff"><strong>integer</strong></font><font color="#000000"><strong>)</strong></font> <font color="#000000"><strong>:</strong></font> <font color="#0099ff"><strong>integer</strong></font><font color="#000000"><strong>;</strong></font>
+
<syntaxhighlight lang=pascal>
<font color="#006699"><strong>begin</strong></font>
+
function Summation (num : integer) : integer;
  <font color="#006699"><strong>if</strong></font> num <font color="#000000"><strong>=</strong></font> <font color="#ff0000">1</font> <font color="#006699"><strong>then</strong></font>
+
begin
    Summation <font color="#000000"><strong>:=</strong></font> <font color="#ff0000">1</font>
+
  if num = 1  
  <font color="#006699"><strong>else</strong></font>
+
  then Summation := 1
    Summation <font color="#000000"><strong>:=</strong></font> Summation<font color="#000000"><strong>(</strong></font>num<font color="#000000"><strong>-</strong></font><font color="#ff0000">1</font><font color="#000000"><strong>)</strong></font> <font color="#000000"><strong>+</strong></font> num
+
  else Summation := Summation(num-1) + num
<font color="#006699"><strong>end</strong></font><font color="#000000"><strong>;</strong></font>
+
end;
 +
</syntaxhighlight>
  
 
Suppose you call <tt>Summation</tt> for <tt>3</tt>.
 
Suppose you call <tt>Summation</tt> for <tt>3</tt>.
a := Summation(3);
+
 
 +
<syntaxhighlight lang=pascal>
 +
a := Summation(3);
 +
</syntaxhighlight>
  
 
* <tt>Summation(3)</tt> becomes <tt>Summation(2) + 3</tt>.
 
* <tt>Summation(3)</tt> becomes <tt>Summation(2) + 3</tt>.
Line 27: Line 32:
 
Recursion works backward until a given point is reached at which an answer is defined, and then works forward with that definition, solving the other definitions which rely upon that one.
 
Recursion works backward until a given point is reached at which an answer is defined, and then works forward with that definition, solving the other definitions which rely upon that one.
  
All recursive procedures/functions should have some sort of test so stop the recursion. Under one condition, called the base condition, the recursion should stop. Under all other conditions, the recursion should go deeper. In the example above, the base condition was <tt>if num = 1</tt>. If you don't build in a base condition, the recursion will either not take place at all, or become infinite.
+
All recursive procedures/functions should have a test to stop the recursion, the base condition. Under all other conditions, the recursion should go deeper. If there is no base condition, the recursion will either not take place at all, or become infinite.
 +
 
 +
In the example above, the base condition was <tt>if num = 1</tt>.  
  
{|style=color-backgroud="white" cellspacing="20"
+
{{TYNavigator|Chapter 4/Scope|Chapter 4/Forward Referencing}}
|[[Scope|previous]] 
 
|[[op_contents|contents]]
 
|[[Forward_Referencing|next]]
 
|}
 

Latest revision as of 16:20, 20 August 2022

български (bg) English (en) français (fr) 日本語 (ja) 中文(中国大陆)‎ (zh_CN)

 ◄   ▲   ► 

4E - Recursion (author: Tao Yue, state: unchanged)

Recursion means allowing a function or procedure to call itself until some limit is reached.

The summation function, designated by an uppercase letter sigma (Σ) in mathematics, can be written recursively:

function Summation (num : integer) : integer;
begin
  if num = 1 
  then Summation := 1
  else Summation := Summation(num-1) + num
end;

Suppose you call Summation for 3.

a := Summation(3);
  • Summation(3) becomes Summation(2) + 3.
  • Summation(2) becomes Summation(1) + 2.
  • At 1, the recursion stops and becomes 1.
  • Summation(2) becomes 1 + 2 = 3.
  • Summation(3) becomes 3 + 3 = 6.
  • a becomes 6.

Recursion works backward until a given point is reached at which an answer is defined, and then works forward with that definition, solving the other definitions which rely upon that one.

All recursive procedures/functions should have a test to stop the recursion, the base condition. Under all other conditions, the recursion should go deeper. If there is no base condition, the recursion will either not take place at all, or become infinite.

In the example above, the base condition was if num = 1.

 ◄   ▲   ►