(i) சிக்கலின் அளவு அந்த அளவுக்குச் சிரியதல்ல என்றால் சிக்கலைத் துணை சிக்கலாக பகுக்க வேண்டும்.
(ii) அந்தத் துணைச்சிக்கலைகள் கொடுக்கப்பட்ட சிக்கலின் அளவைவிட கண்டிப்பாக சிரியாதாக இருக்க வேண்டும்.
(iii)பின்பு,துணைச்சிக்கலலைத் தீர்க்க ஒரு துணைத்தீர்ப்பானை அழைக்க வேண்டும். அந்தத் துணைத்தீர்ப்பான் துணைச்சிக்கலிக்கான தீர்வை  வெளியீடுவதாகக் கருதி, கொடுக்கப்பட்ட சிக்கலுக்கான தீர்வை அமைக்க வேண்டும்.

(i) நேரடியாகத் தீர்க்கும் அளவுக்கு சிக்கலின் அளவு சிறியதாக இருக்கிறது.
(ii) அப்பொழுது தீர்வை உடனடியாக வெளியீடு செய்யலாம். குறைந்தது ஊர் அடிப்படை நிலைமையாவது இருக்க வேண்டும்.

(i) சுழற்சி இரண்டு படிகளை திரும்பதிரும்பச் செய்கிறது 
(ii) ஒன்று, அது ஒரு நிலைமையை மதிப்பருந்துகிறது, இரண்டு, நிலைமை மெய் என இருக்கும்வரை,அது ஒரு கூற்றைச் செயல்படுத்துகிறது. 

(i) தற்சுழற்சி என்பது ஒரு நெறிமுறை வடிவமைப்பு நுட்பமாகும்.
(ii)இது கணிதத்தூண்டலோடு நெருங்கிய தொடர்புடையது.இது சுழற்சிக்கு இணையானது ஆனால் அதைவிட அதிக பயனுள்ளது.

factorial (n)
-- inputs : n is an integer, n 2: 0
-- outputs :'f = n!
f, i := I,I
while i~n
f, i := f xi, i+ I

(i) தற்சுழற்சி முறையில் ஒரு சிக்கலைத் தீர்ப்பதற்கு,தீர்ப்பான் சிக்கலை துணைச் சிக்கல்களாக பிரித்து, ஒவ்வொரு துணைச்சிக்கலைத் தீர்ப்பதற்கும், ஒரு துணைதீர்ப்பானை அழைக்க வேண்டும்.
(ii)ஒவ்வொரு துணைத்தீர்ப்பானும் தீர்ப்பானுடைய இன்னொரு சான்றுருவேயாகும், துணைச்சிக்கலுக்காக இடப்படும் உள்ளீட்டின் அளவு முலச் சிக்கலுக்கான உள்ளீட்டின் அளவைவிடச் சிறியதாக இருக்க வேண்டும்.
(iii) ஒரு தீர்ப்பான் இன்னொரு துணைதீர்ப்பானை அழைக்கும்போது, அது தற்சுழற்சி அழைப்பு என்று வழங்கப்படுகிறது.

(i) மடக்கு முடியும்போது, அதின் முடிவு நிபந்தனையும், மடக்கு மாற்றமிலியும் சேர்ந்து உள்ளிட்டு-வெளியிட்டு மெய்க்காக்க வேண்டும்.  
(ii) மடக்கு நிலையில் உள்ளிட்டு-வெளியிட்டு உறவு கொடுக்கப்பட்டுள்ள தீர்வு கூற்றை பொறுத்து அடையும்.

(i) மாற்றமிலியின் நிலைமையைச் சோதிப்பது மடக்கு மாற்றமிலியை பாதிக்காது.
(ii) ஏனென்றால் மாற்றமிலியின் நிலைமையைச் சோதிப்பதால் நிரலில் மாற்றம் ஏற்படாது.

(i) மடக்கின் உடற்பகுதியிலுள்ள மாற்றமிலி மடக்கு மாற்றமிலி என்றழைக்கப்படுகிறது.
(ii) ஒரு மடக்கில், டு என்பது மடக்கின் உடற்பகுதியாகிய கூயின் மாற்றமிலியானால், டு அதன் "மடக்கு மாற்றமிலி" என்றழைக்கப்படுகிறது.

(i) மாறிகளாலான ஒரு கோவை, மதிப்பிருத்தலின் தொடக்கத்திலும், இறுதியிலும் ஒரே மதிப்புடையதாக இருந்தால், அந்த கோவை மதிப்பிருத்தலின் மாற்றமிலி எனப்படும்.