செயற்கூறு (12ஆம் வகுப்பு கணினி அறிவியல், சமச்சீர் கல்வி) அத்தியாயத்திற்கான, பாடநூலில் இல்லாத 15 கூடுதல் வினாக்கள் — ஒவ்வொன்றிலும் சரியான விடை தனித்துக் காட்டப்பட்டு, தெளிவான படிப்படியான விளக்கத்துடன். தமிழிலும் ஆங்கிலத்திலும் இலவசமாகப் படிக்கலாம்.
Q1
செயற்கூறு விவரக்குறிப்புகளில் (function specifications) உள்ள வரையறைகள் பற்றிப் பின்வருவனவற்றில் எது சரி?
- A. வரையறைகள் கோவைகள் ஆகும்.
- B. கோவைகள் வரையறைகளாகக் கருதப்படுகின்றன.
- C. வரையறைகள் தனித்துவமான தொடரியல் தொகுதிகள் ஆகும்.சரி
- D. வரையறைகளில் உள்ளமைந்த கோவைகள் இருக்க முடியாது.
விளக்கம். செயற்கூறு விவரக்குறிப்பில், வரையறைகள் மதிப்புகளைப் பெயர்களுடன் பிணைக்கும் தனித்துவமான தொடரியல் தொகுதிகள் ஆகும். அவை கோவைகள் அல்ல, கோவைகளும் வரையறைகளாகக் கருதப்படுவதில்லை; ஆனாலும் அவை ஒன்றினுள் ஒன்று உள்ளமைந்திருக்கலாம்.
Q2
செயற்கூறு வகைகளில் x1 -> x2 -> y என்ற வகைக் குறிப்பு (type signature) எதைக் குறிக்கிறது?
- A. x1 வகையிலான ஒரு உள்ளீட்டைப் பெற்று x2 மற்றும் y-ஐத் திருப்பி அனுப்பும் செயற்கூறு.
- B. x1 மற்றும் x2 வகையிலான இரண்டு உள்ளீடுகளைப் பெற்று, y வகையிலான வெளியீட்டைத் திருப்பி அனுப்பும் செயற்கூறு.சரி
- C. y வகையிலான உள்ளீட்டைப் பெற்று அதை x1 மற்றும் x2 உடன் மேப் செய்யும் செயற்கூறு.
- D. x1 மற்றும் x2 வகையிலான இரண்டு அடிப்படை நிலைகளைக் கொண்ட தற்சுழற்சி செயற்கூறு.
விளக்கம். x1 -> x2 -> y என்ற தொடரியல், முதலாவது x1 வகை மற்றும் இரண்டாவது x2 வகை என இரண்டு உள்ளீடுகளைப் பெற்று, y வகையிலான வெளியீட்டைத் தரும் செயற்கூறு வகையைக் குறிக்கிறது.
Q3
செயற்கூறு வரையறையில் அளபுருக்களுக்கு வெளிப்படையான தரவு வகை குறிப்புகளை (type annotations) எழுதும் போது, பின்வருவனவற்றுள் எது கட்டாயமானது?
- A. சதுர அடைப்புக்குறிகள் [ ]
- B. நெளிவு அடைப்புக்குறிகள் { }
- C. அடைப்புக்குறிகள் ( )சரி
- D. கோண அடைப்புக்குறிகள் < >
விளக்கம். பாடநூலில் உள்ள அளபுரு தரவு வகை விதிகளின்படி, (a: int) போன்ற வெளிப்படையான தரவு வகை குறிப்புகளை அளபுருக்களுக்கு எழுதும் போது அடைப்புக்குறிகள் ( ) கட்டாயமாகும்.
Q4
தற்சுழற்சி செயற்கூறை (recursive function) வரையறுக்க let உடன் எந்த சிறப்புச் சொல் சேர்க்கப்பட வேண்டும்?
- A. recur
- B. recசரி
- C. repeat
- D. loop
விளக்கம். வரையறுக்கப்படும் செயற்கூறு தன்னைத்தானே அழைக்கும் தற்சுழற்சி செயற்கூறாக இருந்தால், let-க்குப் பிறகு rec என்ற சிறப்புச் சொல் சேர்க்கப்பட்டு let rec என எழுதப்பட வேண்டும்.
Q5
நிரலாக்கத்தில் strlen செயற்கூறு ஏன் Pure செயற்கூறாகக் கருதப்படுகிறது?
- A. இயக்கத்தின் போது அதற்கு அனுப்பப்படும் சரத்தை (string) அது மாற்றுகிறது.
- B. ஒவ்வொரு முறை அழைக்கப்படும் போதும் அது சீரற்ற மதிப்பைத் தருகிறது.
- C. சரத்தின் நீளத்தைக் கண்டறிய அதன் வெளிப்புற நினைவகத்தை மாற்றாமல் படிக்க மட்டுமே செய்கிறது.சரி
- D. இயங்குநிலையில் மாறும் முழுதளாவிய மாறிகளைச் சார்ந்துள்ளது.
விளக்கம். strlen சரத்தின் நீளத்தைக் கணக்கிட அதன் வெளிப்புற நினைவகத்தை அணுகுகிறது; ஆனால் நினைவகத்தையோ சரத்தையோ மாற்றுவதில்லை. எனவே ஒரே உள்ளீட்டிற்கு எப்போதும் ஒரே விடையைத் தருவதால் அது Pure செயற்கூறு ஆகும்.
Q6
s மாற்றப்படாத நிலையில், strlen(s) போன்ற Pure செயற்கூறுக்குப் பல அழைப்புகளைக் கொண்ட ஒரு மடக்கை (loop) நிரல்பெயர்ப்பி (compiler) மொழிபெயர்க்கும்போது, திறமையான நிரல்பெயர்ப்பி என்ன மேம்படுத்தலை (optimization) செய்ய முடியும்?
- A. Pure செயற்கூறை Impure செயற்கூறாக மாற்றுதல்.
- B. மடக்கை முடிவில்லாமல் இயங்கச் செய்தல்.
- C. தேவையற்ற அழைப்புகளை நீக்கிச் செயற்கூறை ஒருமுறை மட்டும் இயக்குதல்.சரி
- D. செயற்கூறு அழைப்பை முழுமையாகப் புறக்கணித்தல்.
விளக்கம். strlen ஒரு Pure செயற்கூறு மற்றும் மடக்கினுள் s மாற்றப்படாததால், அதன் மதிப்பு மாறாதது என்பதைத் திறமையான நிரல்பெயர்ப்பி அறிந்து, தேவையற்ற கூடுதல் அழைப்புகளை நீக்கி அதை ஒருமுறை மட்டும் இயக்க முடியும்.
Q7
ஒரு செயற்கூறை Impure ஆக்கும் பக்கவிளைவிற்கு (side effect) எடுத்துக்காட்டு பின்வருவனவற்றில் எது?
- A. உள்ளீட்டு முழு எண்ணின் வர்க்கத்தைத் திருப்பி அனுப்புதல்.
- B. இரண்டு எண்களின் மீப்பெரு பொது வகுத்தியைக் கணக்கிடுதல்.
- C. செயற்கூறின் வரையெல்லைக்கு வெளியே உள்ள மாறியை மாற்றுதல்.சரி
- D. ஒரு மாறிலி மதிப்பின் மீது sine கணக்கீட்டைச் செய்தல்.
விளக்கம். செயற்கூறின் தொகுதிக்கு வெளியே உள்ள மாறியை மாற்றுவது நிரலின் நிலையை மாற்றும் பக்கவிளைவு ஆகும்; இதனால் செயற்கூறு சீரற்ற முறையில் செயல்பட்டு Impure ஆகிறது.
Q8
குரோம்லேண்ட் பச்சோந்திகள் (Chameleons of Chromeland) சிக்கலில், A, B, C வகைப் பச்சோந்திகளின் தொடக்க எண்ணிக்கைகள் முறையே 4, 4 மற்றும் 6 எனில், அனைத்தும் ஒரே நிறமாக மாறிய பிறகு மூன்றாம் வகைப் பச்சோந்திகளின் இறுதி எண்ணிக்கை என்ன?
- A. 10
- B. 12
- C. 14சரி
- D. 8
விளக்கம். தொடக்கத்தில் 4 + 4 + 6 = 14 பச்சோந்திகள் உள்ளன. இறுதியில் அனைத்துப் பச்சோந்திகளும் மூன்றாம் வகையின் நிறத்தைக் காட்டுவதால், இறுதி எண்ணிக்கை மொத்தப் பச்சோந்திகளின் எண்ணிக்கையான 14 ஆகும்.
Q9
பாடநூலின் அடிப்படையில் செயற்கூறு வரையறைகள் பற்றிய பின்வரும் கூற்றுகளில் எது சரி?
- A. செயற்கூறுகளை நிலையாகவும் (statically) இயங்குநிலையிலும் (dynamically) வரையறுக்கலாம்.
- B. அனைத்துச் செயற்கூறுகளும் நிலையான வரையறைகள்; இயங்குநிலைச் செயற்கூறு வரையறைகள் இல்லை.சரி
- C. தற்சுழற்சி செயற்கூறுகள் எப்போதும் இயங்குநிலை வரையறைகள் ஆகும்.
- D. செயற்கூறுகளைப் பிற செயற்கூறுகளுக்குள் இயங்குநிலையில் மட்டுமே வரையறுக்க முடியும்.
விளக்கம். பாடநூல் குறிப்புகளின்படி, அனைத்துச் செயற்கூறு வரையறைகளும் நிலையானவை; இயங்குநிலைச் செயற்கூறு வரையறைகள் இல்லை.
Q10
பொருள்நோக்கு நிரலாக்கத்தில் (OOP), ஒரு பொருளை உருவாக்கவும் இயக்கவும் உதவும் இடைமுகங்களைக் குறிப்பிடும் வார்ப்புரு (template) எவ்வாறு அழைக்கப்படுகிறது?
- A. துணை நிரல் வார்ப்புரு (Subroutine template)
- B. இனக்குழு வார்ப்புரு (Class template)சரி
- C. தொடரியல் தொகுதி (Syntactic block)
- D. அளபுரு விவரக்குறிப்பு (Parameter specification)
விளக்கம். இனக்குழு வார்ப்புரு (Class template) ஒரு பொருளைச் சரியாக உருவாக்கவும் இயக்கவும் உதவும் இடைமுகங்களைக் குறிப்பிடுகிறது; இது ஒரு வரைபடம் (blueprint) அல்லது cookie cutter போலச் செயல்படுகிறது.
Q11
மீப்பெரு பொது வகுத்தியின் தற்சுழற்சி வரையறையான let rec gcd a b := if b <> 0 then gcd b (a mod b) else return a என்பதில், தற்சுழற்சியின் முடிவைக் கையாளும் கூற்று அல்லது பகுதி எது?
- A. let rec gcd a b
- B. then gcd b (a mod b)
- C. if b <> 0
- D. else return aசரி
விளக்கம். b <> 0 என்ற நிபந்தனை தவறாகும் போது (அதாவது b = 0 ஆகும் போது) தற்சுழற்சி முடிவடைந்து a என்ற விடையைத் திருப்பி அனுப்புகிறது. இது else return a பகுதியில் இயக்கப்படுகிறது.
Q12
நிரல்களை வடிவமைக்கும் உத்தியில் "விருப்பார்வ எண்ணம்" (wishful thinking) என்ற சொல் எதைக் குறிக்கிறது?
- A. முழு நிரலின் குறிமுறையை இறுதித் தேர்வு வரை தாமதப்படுத்துதல்.
- B. ஆக்கிகள் (constructors) மற்றும் செலக்டர்களின் (selectors) உண்மையான செயல்படுத்தலை வரையறுக்கும் முன்பே அவை இருப்பதாகக் கருதுதல்.சரி
- C. பிழைநீக்கம் செய்யாமலேயே நிரல்பெயர்ப்பி தொடரியல் பிழைகளைத் தானாகச் சரிசெய்யும் என்று நம்புதல்.
- D. Impure செயற்கூறு Pure செயற்கூறு போல நடந்துகொள்ளும் என்று எதிர்பார்த்தல்.
விளக்கம். நிரல் வடிவமைப்பில் விருப்பார்வ எண்ணம் என்பது, அருவமாக்கத் தரவைக் கையாள ஆக்கிகளும் செலக்டர்களும் ஏற்கனவே கிடைக்கின்றன என்று கருதி, செயல்படுத்தலுக்கு முன்பே நிரலின் ஓட்டத்தை வடிவமைக்கும் உத்தியாகும்.
Q13
பின்வரும் குறிமுறைப் பகுதியைக் கருதுக: y := 0 let inc (x: int): int := y := y + x return (y) inc செயற்கூறை அழைப்பதால் ஏற்படும் பக்கவிளைவு என்ன?
- A. இது தவறான முழு எண் கூட்டுத்தொகையைத் தருகிறது.
- B. தரவு வகைக் குறிப்புகளுக்குக் கட்டாய அடைப்புக்குறிகள் தேவைப்படுகின்றன.
- C. வெளியே தெரியும் மாறியான y-இன் மதிப்பை இது மாற்றுகிறது.சரி
- D. y பூஜ்ஜியமாகும் வரை இது தன்னைத்தானே தற்சுழற்சியாக அழைக்கிறது.
விளக்கம். inc செயற்கூறு, அதன் தொகுதிக்கு வெளியே வரையறுக்கப்பட்ட y என்ற மாறியின் மதிப்பை மாற்றுவதே அதன் பக்கவிளைவு ஆகும்; இதனால் அது Impure செயற்கூறு ஆகிறது.
Q14
செயலுருபுகளை மாற்றுவது தொடர்பாக Pure மற்றும் Impure செயற்கூறுகள் பற்றிப் பின்வருவனவற்றில் எது சரி?
- A. Pure செயற்கூறுகள் அவற்றுக்கு அனுப்பப்படும் செயலுருபுகளை மாற்றுகின்றன; Impure செயற்கூறுகள் மாற்றுவதில்லை.
- B. Pure, Impure இரண்டு செயற்கூறுகளும் செயலுருபுகளை மாற்ற முடியாது.
- C. Pure, Impure இரண்டு செயற்கூறுகளும் அவற்றின் செயலுருபுகளைக் கட்டாயம் மாற்ற வேண்டும்.
- D. Pure செயற்கூறுகள் அவற்றின் செயலுருபுகளை மாற்றுவதில்லை; Impure செயற்கூறுகள் அவற்றை மாற்றக்கூடும்.சரி
விளக்கம். Pure செயற்கூறுகள் அவற்றுக்கு அனுப்பப்படும் செயலுருபுகளை மாற்றுவதில்லை; Impure செயற்கூறுகள் அவற்றை மாற்றக்கூடும் என்பது பாடநூலில் குறிப்பிடப்பட்டுள்ள முக்கிய வேறுபாடுகளில் ஒன்றாகும்.
Q15
ஒரு செயற்கூறு தனது வரையறைத் தொகுதிக்கு வெளியே வரையறுக்கப்பட்ட மாறிகள் அல்லது செயற்கூறுகளைச் சார்ந்திருந்தால் என்ன நிகழும்?
- A. அது Pure செயற்கூறாக இருப்பது உறுதி.
- B. ஒவ்வொரு முறை அழைக்கப்படும் போதும் அது ஒரே மாதிரி நடந்துகொள்ளும் என்று ஒருபோதும் உறுதியாகக் கூற முடியாது.சரி
- C. தரவு வகை ஊகிப்பு (type inference) காரணமாக அது தொகுப்புப் பிழையை (compilation error) ஏற்படுத்தும்.
- D. நிரல்பெயர்ப்பி அதைத் தானாகவே மேம்படுத்தி ஒருமுறை மட்டும் இயக்கும்.
விளக்கம். ஒரு செயற்கூறு வெளிப்புற மாறிகள் அல்லது செயற்கூறுகளைச் சார்ந்திருந்தால், அதன் நடத்தை வெளிப்புற மாற்றங்களுக்கு உட்படும்; எனவே ஒவ்வொரு முறையும் அது ஒரே மாதிரி நடந்துகொள்ளும் என்று உறுதியாகக் கூற முடியாது (அது Impure ஆகும்).
