પી → એક્સ → પ્ર છે કે, ∀x: - બ્રોડકાસ્ટર એક કાર્યક્રમ છે કે જે ઇનપુટ ડેટા જેમ કે એક રીતે તેઓ બંને એક જ સીમેન્ટિક્સ છે કે કેટલાક ભાષા એસ કાર્યક્રમ લે છે અને ટી કાર્યક્રમ બનાવે છે.