أرسل هذا في رسالة قصيرة: Probabilistic verification beyond context-freeness