سوال ۸۴ کنکور ارشد علوم کامپیوتر ۱۴۰۲

گرامر $G = (V, \sum, R, S)$ با مجموعه متغیرهای $V = \{S, W, X, Y, Z\}$، متغیر شروع $S$، $\sum = \{a, b, c\}$ و قوانین زیر مفروض است:

$S \to XY \mid W$ $X \to aXb \mid \varepsilon$ $Y \to cY \mid \varepsilon$ $W \to aWc \mid Z$ $Z \to bZ \mid \varepsilon$

با قرار گرفتن کدام‌یک از دو مقدار $b$ یا $c$ به‌جای $m$ در عبارت $a^{5}b^{4}mc^{4}$، عبارت حاصل در زبان گرامر $G$ قرار می‌گیرد؟