Fuente TeX:
Dr: \mathcal{N} \times \Sigma^* \to \Sigma^*