أرسل هذا في رسالة قصيرة: An Executable Formal Framework for Regular String Transformation in Rewriting Logic