Perché dovrebbe arrestarsi? Dove sta il codice per bloccare il processo? In caso di condizione soddisfatta, ovvero stringa non conforme all'espressione regolare io vedo solo l'assegnazione di una stringa ad una variabile.