یک ابزار برای شبیه سازی، تجسم و تبدیل اتوماتیک حالت محدود و ماشین آلات تورینگ. ایجاد، شبیه سازی و تبدیل DFA و ماشین آلات NFA ایجاد و شبیه سازی آزمون دسته TM برای TM: ویژگی های مفید برای تست یک دسته از فایل ها به سرعت! رابط کاربری آسان برای استفاده و رابط کاربری گرافیکی (چند اسناد) لینک هوشمند بین اشیاء ماشین آلات می...
- صفحه اصلی
- Jean Bovet
- آموزشی و علوم نرم افزار
- نرم افزار ریاضی