इसका टेक्स्ट मैसेज भेजे: Formal language theory and its application in splicing system /