این پروژه یک رشته و یک آتاناتا را از ورودی درساقت کرده و سپس بررسی میکند که آیا این رشته در ماشین پذیفته میشود یا خیر.
روش کار بدین صورت هست که ابتدا میبایست با توجه به یک قالب خاص، ماشین را در قالب فایل متنی به برنامه داد ،سپس با وارد کردن یک
رشته با طول نا محدود و کلیک بروی دکمه اجرا،رشته در آتاماتا NFA یا DFA که توسط کاربر طراحی شده است، بررسی میشود که آیا این رشته با استفاده از ماشین وارد شده قابل قبول هست یا خیر!)قالب باید بصورت فایل txt پیاده سازی گردد.(
توضیح قالب ماشین که کاربر یا برنامه
نویس تعریف میکند:
5 2 {1,5}
1 : 3 4
2 : 5 1
3 : 2 4
4 : 1 5
5 : 4 3
عدد اول بیانگر این است که ماشین باید دارای چند گره یا
استیت باشد.بعد از نوشتن این عدد باید یک تب بزنید.
عدد دوم بیانگر این است که از گره چند شروع به بررسی کند(یا
گره ی شروع کدام باشد؟) سپس یک تب میزنیم.
عدد یا اعدادی که در ستون سوم قرار میگیرند حتما باید با
کروشه شروع و پایان یابند و بیانگر گره یا گره های پایانی میباشد.
و خط های بعدی باید به تعداد اولین رقمی باشد کاربر وارد
کرده است(در اینجا عدد 9)
قالب خطوط بعدی بصورت زیر میباشد :
شماره گره : با صفر به کدام گره میرود با یک به کدام گره
میرود(مثلا گره 1 با برچسپ 0 به گره 6 و با برچسپ 1 به گره ی 4 میرود)