সিনট্যাক্স বনাম সিমান্টিক্স

১ · সিনট্যাক্স কী — প্রোগ্রামের গঠন

সিনট্যাক্সSyntaxএকটি প্রোগ্রামিং ল্যাঙ্গুয়েজে কোন টোকেন-সিকোয়েন্স গঠনগতভাবে বৈধ প্রোগ্রাম গঠন করে তার নিয়ম — প্রোগ্রামের "ফর্ম", অর্থ নয়। হলো একটি ভাষার গঠনগত (structural) নিয়ম — কোন কোন টোকেন-সিকোয়েন্স একটি বৈধ প্রোগ্রাম গঠন করে তা নির্ধারণ করে (M3-এর ফরমাল গ্রামারের সরাসরি পূর্বাভাস)। একটি সিনট্যাক্স এরর মানে প্রোগ্রামের গঠনটাই ভুল — যেমন একটি বন্ধনী মিসিং। গুরুত্বপূর্ণ বিষয় হলো, সিনট্যাক্স এরর ধরতে প্রোগ্রামের অর্থ জানার দরকার নেই — শুধু গঠন যাচাই করলেই চলে। যেমন (3 + 5 — এখানে বন্ধনী অসম্পূর্ণ, এটি বোঝার জন্য "৩" বা "৫" সংখ্যা দুটোর অর্থ কী তা জানার প্রয়োজনই নেই।

২ · সিমান্টিক্স কী — স্ট্যাটিক বনাম ডায়নামিক

সিমান্টিক্সSemanticsএকটি সিনট্যাক্টিক্যালি বৈধ প্রোগ্রামের প্রকৃত অর্থ — রান করলে আসলে কী মান গণনা হয়, কী side effect ঘটে। হলো একটি সিনট্যাক্টিক্যালি বৈধ প্রোগ্রামের অর্থ — রান করলে আসলে কী ঘটে। এটি দুই ভাগে ভাগ করা হয় —

৩ · সিনট্যাক্টিক্যালি ঠিক, সিমান্টিক্যালি ভুল — মূল কথা

এই পাঠের কেন্দ্রীয় বিষয় হলো — একটি প্রোগ্রাম সম্পূর্ণ সিনট্যাক্টিক্যালি বৈধ হয়েও সিমান্টিক্যালি অর্থহীন বা ভুল হতে পারে। উদাহরণ: x = "hello" + 5 — এটি সিনট্যাক্টিক্যালি সম্পূর্ণ ঠিক (একটি অ্যাসাইনমেন্ট স্টেটমেন্ট, ডানপাশে একটি প্লাস-এক্সপ্রেশন — গঠন হিসেবে কোনো সমস্যা নেই)। কিন্তু এর অর্থ প্রশ্নবিদ্ধ — একটি স্ট্রিং ও একটি সংখ্যা যোগ করার কোনো সুনির্দিষ্ট, সার্বজনীন অর্থ নেই, তাই অনেক ভাষায় এটি একটি সিমান্টিক এরর (টাইপ এরর)।

৪ · কেন এই পার্থক্য প্রতিটি প্রোগ্রামারের কাজে লাগে

এই পার্থক্য বোঝা সরাসরি আপনার প্রতিদিনের ডিবাগিংয়ে কাজে লাগে —

• এরর মেসেজ পড়া: Python-এ SyntaxError মানে গঠন ভুল (পার্সিং ব্যর্থ, M5) — প্রোগ্রামটি রানই হতে শুরু করেনি। কিন্তু TypeError বা NameError মানে গঠন ঠিক ছিল, কিন্তু অর্থ-সংক্রান্ত কোনো নিয়ম ভাঙা হয়েছে (সিমান্টিক্স, M6-M7)।
• ধাপের ক্রম: একটি কম্পাইলার/ইন্টারপ্রেটার সবসময় আগে সিনট্যাক্স চেক করে (পার্সিং সফল না হলে পার্স ট্রি-ই তৈরি হয় না), তারপর সিমান্টিক অ্যানালাইসিস চালায় — কারণ সিমান্টিক অ্যানালাইসিস কাজ করে পার্স ট্রি-র উপর, যা সিনট্যাক্স ব্যর্থ হলে অস্তিত্বই থাকে না।

৫ · কোডে সিনট্যাক্স ও সিমান্টিক্স চেকার আলাদা করে বাস্তবায়ন

নিচে দুটি সম্পূর্ণ আলাদা ফাংশন — একটি শুধু গঠন (বন্ধনী ব্যালান্সড কিনা, স্ট্যাক ব্যবহার করে) যাচাই করে, আরেকটি শুধু অর্থ (একটি টয় এক্সপ্রেশন ট্রিতে টাইপ কম্প্যাটিবিলিটি) যাচাই করে — দুটো সম্পূর্ণ ভিন্ন ধরনের ব্যর্থতা প্রদর্শন করা হয়েছে।

# সিনট্যাক্স চেক -- শুধু গঠন যাচাই, স্ট্যাক দিয়ে বন্ধনী ব্যালান্স চেক করা হয়
def check_syntax(tokens):
    stack = []
    for tok in tokens:
        if tok == "(":
            stack.append(tok)
        elif tok == ")":
            if not stack:
                return False, "অতিরিক্ত ')' -- কোনো ম্যাচিং '(' নেই"
            stack.pop()
    if stack:
        return False, "ম্যাচ না হওয়া '(' রয়ে গেছে"
    return True, "সিনট্যাক্স ঠিক আছে"

# সিমান্টিক্স চেক -- শুধু অর্থ (টাইপ কম্প্যাটিবিলিটি) যাচাই, একটি টয় এক্সপ্রেশন ট্রি (left, op, right)-এর উপর
def check_semantics(expr_tree):
    left, op, right = expr_tree
    left_type = "str" if isinstance(left, str) else "num"
    right_type = "str" if isinstance(right, str) else "num"
    if op == "+":
        if left_type != right_type:
            return False, f"টাইপ মিসম্যাচ: {left_type} + {right_type} সংজ্ঞায়িত নয়"
        return True, "সিমান্টিক্স ঠিক আছে"
    return False, "অজানা অপারেটর"

# কেস ১: সিনট্যাক্সই ব্যর্থ -- সিমান্টিক্স চেক করার সুযোগই আসে না
tokens1 = ["(", "3", "+", "5"]
ok1, msg1 = check_syntax(tokens1)
print(f"কেস ১ -- টোকেন {tokens1}")
print(f"  সিনট্যাক্স: {ok1} ({msg1})")

# কেস ২: সিনট্যাক্স ঠিক, কিন্তু সিমান্টিক্স ব্যর্থ
tokens2 = ["(", "hello", "+", "5", ")"]
expr2 = ("hello", "+", 5)
ok2, msg2 = check_syntax(tokens2)
print(f"\nকেস ২ -- টোকেন {tokens2}")
print(f"  সিনট্যাক্স: {ok2} ({msg2})")
if ok2:
    sem2, smsg2 = check_semantics(expr2)
    print(f"  সিমান্টিক্স (এক্সপ্রেশন ট্রি {expr2}): {sem2} ({smsg2})")

# কেস ৩: সিনট্যাক্স ও সিমান্টিক্স দুটোই ঠিক
tokens3 = ["(", "3", "+", "5", ")"]
expr3 = (3, "+", 5)
ok3, msg3 = check_syntax(tokens3)
print(f"\nকেস ৩ -- টোকেন {tokens3}")
print(f"  সিনট্যাক্স: {ok3} ({msg3})")
if ok3:
    sem3, smsg3 = check_semantics(expr3)
    print(f"  সিমান্টিক্স (এক্সপ্রেশন ট্রি {expr3}): {sem3} ({smsg3})")