الإنتاج (علوم الحاسب): الفرق بين النسختين

حيث V:=N ∪ Σ هي مفردات , ∗ ( [[نجمة كلين|نجمة كيلين]] ) لدلاله على  أن  الرمز إما انه لا يتكرر أبدا أو انه يتكرر مرة أو أكثر من مرة (صفر أو أكثر )  يشير إلى [[مجموعة من السلسلة]]  و ∪ يدل على [[اتحاد (نظرية المجموعات)]] . إذا لم نسمح بوضع رمز البداية في v(الكلمة على الجانب الأيمن ) سيتطلب منا استبدال *V  بـ *( V ∖ { S } ) على الجانب الأيمن من رمز [[جداء ديكارتي]] . <ref>[http://users.informatik.uni-halle.de/~ahyjb/dis.pdf Prioritatszahlerautomaten] und die Synchronisation von Halbspursprachen</ref>