هل هناك أي برامج لرسم وأجهزة الدولة الاختبار، وآلات تورينج، وما إلى ذلك؟ [مغلق]

Question

وعندما أعود إلى المدرسة بعد عيد الشكر، وأنا سوف أخذ دورة في نظرية CS تغطي مواضيع مثل آلات حتمية وnondeterministic محدود الدولة، آلات تورنج، الآلي وتصميم التوسيع لأسفل وبعض الأشياء الأخرى. ومع ذلك، وأنا لا يمكن العثور على التطبيق الجيد التي يمكن أن تنتج تمثيل مرئي لهم، وكذلك اختبار كيفية عملها (تمرير / تفشل، الخ). أفضل ما في ولقد وجدت حتى الآن هو jFlap ، وأنا وجدت ذلك محرجا نوعا ما.

Answer 1

وكان JFlap التي استعملتها في الكلية. لم أجد أن محرجا للاستخدام، ولكن يبدو أنه قد تغيرت منذ ذلك الحين. آسف ليس لدي إجابة أفضل لك من ذلك.

Answer 2

وهناك صديق لي استخدام مطاط إلى الاستفادة منها. أنا دائما يفضل القلم والورق.

Answer 3

وأنا في الصف مثل هذا الحق الآن. لقد وجدت ورقة وقلم لتكون كافية. لا أستطيع أن أقول على وجه اليقين، ولكن أنا لا أعتقد أنك سوف تكون هناك حاجة لرسم الآلي والتي معقدة جدا لفهم على ورقة واحدة.

Answer 4

وجهت لهم في UML، وقدم صادرات الحياة السياسية في فرنسا StarUML لفترة من الوقت.

وبعدها، كتبت السيناريو PHP لتحويلها إلى تنسيق DOT وتستخدم Graphviz للحصول على آلات لطيفة المظهر.

Answer 5

وSIMULINK Stateflow.

ومبالغة ضخمة، بطبيعة الحال.

Answer 6

IAR visualSTATE قد تكون ذات فائدة.