পরবর্তী সম্পাদনায় যুক্ত হওয়া প্রশ্নের বিকল্প সূত্রটি এখনও উত্তরহীন বলে মনে হচ্ছে: কোনও উপাদানটির বাচ্চাদের মধ্যে কীভাবে নির্দিষ্ট করতে হবে যে কোনও একটির নাম child3
, একটি নাম child4
, এবং নাম্বারযুক্ত কোনও নম্বর থাকতে হবে child1
বা child2
যাতে আদেশে কোনও বাধা নেই যা শিশুরা উপস্থিত হয়।
এটি একটি সরলভাবে নির্ধারণযোগ্য নিয়মিত ভাষা এবং আপনার প্রয়োজনীয় সামগ্রীর মডেলটি নিয়মিতভাবে প্রকাশিত স্ট্রিংয়ের সংজ্ঞা নির্ধারণের জন্য আইসোমর্ফিক হয় যেখানে প্রতিটি '3' এবং '4' প্রতিটি অঙ্ক একবারে ঘটে থাকে এবং অঙ্কগুলি '1' এবং '2' 'যে কোনও সংখ্যক বার দেখা যায়। এটি কীভাবে লিখবেন তা যদি স্পষ্ট না হয় তবে এই জাতীয় ভাষা চিনতে আপনি কী ধরণের সসীম রাষ্ট্রের মেশিনটি তৈরি করবেন তা ভাবতে সহায়তা করতে পারে। এটির অন্তত চারটি স্বতন্ত্র রাজ্য থাকবে:
- একটি প্রাথমিক অবস্থা যেখানে '3' বা '4' দেখা যায় নি
- একটি মধ্যবর্তী অবস্থা যেখানে '3' দেখা গেছে তবে '4' নয়
- একটি মধ্যবর্তী অবস্থা যেখানে '4' দেখা গেছে তবে '3' নয়
- একটি চূড়ান্ত অবস্থা যেখানে '3' এবং '4' উভয়ই দেখা গেছে
অটোমেটন কোন অবস্থায় রয়েছে তা বিবেচনাধীন, '1' এবং '2' পড়তে পারে; তারা মেশিনের অবস্থা পরিবর্তন করে না। প্রাথমিক অবস্থায়, '3' বা '4' গ্রহণ করা হবে; মধ্যবর্তী অবস্থায়, কেবল '4' বা '3' গ্রহণ করা হয়; চূড়ান্ত অবস্থায় '3' বা '4' গ্রহণ করা হয় না। নিয়মিত প্রকাশের কাঠামোটি বোঝা সহজ হয় যদি আমরা প্রথমে আমাদের ভাষার উপসেটের জন্য একটি রেজেক্স সংজ্ঞায়িত করি যেখানে কেবল '3' এবং '4' ঘটে থাকে:
(34)|(43)
'1' বা '2' প্রদত্ত স্থানে যেকোন সংখ্যক বার সংঘটিত হওয়ার জন্য, আমরা সন্নিবেশ করতে পারি (1|2)*
(বা [12]*
যদি আমাদের রেজেক্স ভাষা সেই স্বীকৃতিটি স্বীকার করে)। সমস্ত উপলব্ধ অবস্থানগুলিতে এই অভিব্যক্তিটি সন্নিবেশ করানো, আমরা পাই
(1|2)*((3(1|2)*4)|(4(1|2)*3))(1|2)*
এটি একটি সামগ্রী মডেলে অনুবাদ করা সোজা is মূল কাঠামোটি রেজেক্সের সমতুল্য (34)|(43)
:
<xsd:complexType name="paul0">
<xsd:choice>
<xsd:sequence>
<xsd:element ref="child3"/>
<xsd:element ref="child4"/>
</xsd:sequence>
<xsd:sequence>
<xsd:element ref="child4"/>
<xsd:element ref="child3"/>
</xsd:sequence>
</xsd:choice>
</xsd:complexType>
শূন্য বা আরও বেশি পছন্দ সন্নিবেশ করা child1
এবং child2
সোজা:
<xsd:complexType name="paul1">
<xsd:sequence>
<xsd:choice minOccurs="0" maxOccurs="unbounded">
<xsd:element ref="child1"/>
<xsd:element ref="child2"/>
</xsd:choice>
<xsd:choice>
<xsd:sequence>
<xsd:element ref="child3"/>
<xsd:choice minOccurs="0" maxOccurs="unbounded">
<xsd:element ref="child1"/>
<xsd:element ref="child2"/>
</xsd:choice>
<xsd:element ref="child4"/>
</xsd:sequence>
<xsd:sequence>
<xsd:element ref="child4"/>
<xsd:choice minOccurs="0" maxOccurs="unbounded">
<xsd:element ref="child1"/>
<xsd:element ref="child2"/>
</xsd:choice>
<xsd:element ref="child3"/>
</xsd:sequence>
</xsd:choice>
<xsd:choice minOccurs="0" maxOccurs="unbounded">
<xsd:element ref="child1"/>
<xsd:element ref="child2"/>
</xsd:choice>
</xsd:sequence>
</xsd:complexType>
আমরা বাল্ক একটু কমান চান, আমরা এর পুনরাবৃত্তি পছন্দ জন্য একটি নামাঙ্কিত গ্রুপ বর্ণনা করতে পারেন child1
এবং child2
:
<xsd:group name="onetwo">
<xsd:choice>
<xsd:element ref="child1"/>
<xsd:element ref="child2"/>
</xsd:choice>
</xsd:group>
<xsd:complexType name="paul2">
<xsd:sequence>
<xsd:group ref="onetwo" minOccurs="0" maxOccurs="unbounded"/>
<xsd:choice>
<xsd:sequence>
<xsd:element ref="child3"/>
<xsd:group ref="onetwo" minOccurs="0" maxOccurs="unbounded"/>
<xsd:element ref="child4"/>
</xsd:sequence>
<xsd:sequence>
<xsd:element ref="child4"/>
<xsd:group ref="onetwo" minOccurs="0" maxOccurs="unbounded"/>
<xsd:element ref="child3"/>
</xsd:sequence>
</xsd:choice>
<xsd:group ref="onetwo" minOccurs="0" maxOccurs="unbounded"/>
</xsd:sequence>
</xsd:complexType>
all
এক্সএসডি ১.১ এ, গ্রুপগুলিতে থাকা কিছু প্রতিবন্ধকতা সরিয়ে নেওয়া হয়েছে, সুতরাং এই বিষয়বস্তুর মডেলটি আরও সংক্ষিপ্তভাবে সংজ্ঞায়িত করা সম্ভব:
<xsd:complexType name="paul3">
<xsd:all>
<xsd:element ref="child1" minOccurs="0" maxOccurs="unbounded"/>
<xsd:element ref="child2" minOccurs="0" maxOccurs="unbounded"/>
<xsd:element ref="child3"/>
<xsd:element ref="child4"/>
</xsd:all>
</xsd:complexType>
তবে পূর্বে প্রদত্ত উদাহরণ থেকে যেমন দেখা যায়, all
গোষ্ঠীগুলিতে এই পরিবর্তনগুলি আসলে ভাষার ভাববাদী শক্তিকে পরিবর্তন করে না; তারা কেবল নির্দিষ্ট ধরণের ভাষার সংজ্ঞাটিকে আরও সংযুক্ত করে তোলে।