Codice PHP:
$parole split("[[:space:]]"$s);