CMSimulator

شبیه ساز برای دستگاه های مقابله و گرامرهای رسمی.

برنامه CMSimulator به شما کمک می کند تا بهتر از چهار ماشین شناخته شده ترین شمارنده شناخته شوید - Automate State Finite، Pushdown Automaton، Automaton Linear Bounded، ماشین تورینگ. شما می توانید راه های موجود جدید را از فایل ها ایجاد کنید. این برنامه همچنین شامل نمونه (برای هر نوع ماشین).

علاوه بر این برنامه همچنین به شما کمک می کند تا بهتر بدانید چهار نوع گرامر رسمی از سلسله مراتب Chomsky - دستور زبان منظم، گرامر بدون متن، گرامر حساس به متن، گرامر نامحدود. شما می توانید راه های موجود جدید را از فایل ها ایجاد کنید. این برنامه همچنین شامل نمونه هایی است.

شما می توانید یک لیست از نمادها، ایالات، قوانین انتقال و همچنین حالت های اولیه و نهایی را انتخاب کنید. سپس شما می توانید نوار را پر کنید و گام به گام شبیه سازی راه حل یا به طور مستقیم به پایان شبیه سازی بروید. شما همچنین می توانید هر عنصر نوار را به عنوان نقطه پایانی علامت گذاری کنید تا شبیه سازی را متوقف کند، زمانی که دستگاه به نقطه پایانی می رسد.

ماشین آلات و راه حل های غیرمتمرکز نیز پشتیبانی می شوند.

شما می توانید دستور زبان خود را تعریف کنید، کلمات تست را در صورتی که متعلق به گرامر تعریف شده هستند و تجسم فرآیند اشتقاق با 4 نوع مختلف تجسم - جدول Derivation، Derivation درخت، مشتق خطی، مشتق ثابت. این برنامه همچنین دارای یک ویژگی تعاملی است که در آن شما می توانید چندین کلمه را در همان زمان تست کنید.

برنامه هنوز در حال توسعه است. لطفا، اگر شما هر گونه اشکالات را پیدا کنید، به من اطلاع دهید.