این پروژه یک ابزار مبتنی بر JavaFX برای نمایش، ویرایش و مینیمایز کردن DFA (ماشینهای متناهی قطعی) ارائه میدهد. این ابزار به کاربران کمک میکند تا ماشینهای حالت را با یک رابط کاربری بصری مشاهده، تحلیل و بهینهسازی کنند.
- نمایش DFA: امکان ترسیم و دستکاری بصری DFA
- مینیمایز کردن DFA: ابزارهای خودکار برای مینیمایز کردن DFA با استفاده از الگوریتمهای کارآمد
- مدیریت تعاملی حالتها: حالتهای قابل جابجایی و کنترلهای بصری برای مدیریت انتقالها
- ساخته شده با Java و JavaFX: این پروژه با استفاده از Java و JavaFX برای تجربه کاربری تعاملی پیادهسازی شده است.
- کلون کردن مخزن:
https://github.com/amir-azari/DFA-Minimizer-JavaFX.git
ما از مشارکت شما استقبال میکنیم! لطفاً مشکلات را گزارش دهید یا درخواستهای pull را برای همکاری ارسال کنید.
برای سوالات یا بازخورد، لطفاً با من تماس بگیرید:
- ایمیل: ah.azari.wr@gmail.com
- تعریف نمادها: نمادها باید با فاصله از هم جدا شوند. مثال:
a b c - تعریف حالتها: حالتها باید با فاصله از هم جدا شوند. مثال:
q1 q2 q3
- افزودن حالتها: با
کلیک راستروی بوم میتوانید حالت جدید اضافه کنید. - جابجایی حالتها: حالتها را میتوان با
کلیک چپو نگه داشتن جابجا کرد. - انتخاب حالتهای شروع و نهایی: میتوانید با نگه داشتن
CTRL+کلیک چپروی حالتها، آنها را برای انتقال انتخاب کنید. - تعریف حالتهای نهایی و شروع: با
دوبار کلیک چپروی یک حالت میتوانید آن را به عنوان حالت نهایی یا شروع مشخص کنید یا این مشخصات را حذف کنید. - تغییر موقعیت حالتهای حلقه خودی: با
کلیک چپروی حالتهای حلقه خودی میتوانید موقعیت آنها را تغییر دهید. - مدیریت انتقالها: میتوانید از قابلیتهای
UndoوRedoبرای مدیریت انتقالها استفاده کنید. - بهروزرسانی انتقالها: انتقالها را میتوان در صورت نیاز بهروزرسانی کرد.
