توليف تفاعلي
باختصار: التوليف التفاعلي أو التوليف الزمني هو مجال علم الحاسوب الذي يدرس التوليد التلقائي لآلات الحالة (مثل آلات مور) من مواصفات عالية المستوى (مثل الصيغ في المنطق الزمني الخطي).
في البداية، التوليف التفاعلي أو التوليف الزمني هو مجال علم الحاسوب الذي يدرس التوليد التلقائي لآلات الحالة (مثل آلات مور) من مواصفات عالية المستوى (مثل الصيغ في المنطق الزمني الخطي). تسلط «التفاعلية» الضوء على حقيقة أن الآلة المركبة تتفاعل مع المستعمل، وتقرأ أحد المدخلات وتنتج مخرجات، ولا توقف تشغيلها أبدًا.
تكوين البرنامج
وفي السياق ذاته، تم تقديم مشكلة التوليف بواسطة ألونزو تشرتش في سنة 1962، حيث كانت المواصفات عبارة عن صيغ في المنطق الأحادي من الدرجة الثانية وآلات الحالة في شكل دوائر رقمية.
انظر كذلك
📝 هل في هذه المقالة خطأ؟
إذا وجدت معلومة تحتاج تصحيحاً أو إضافة، أو أردت حذف المقالة، أرسل لنا طلباً وسنراجعه.
ما رأيك في هذه المقالة؟