Enviar Registro por Correo electrónico: Introduction to probabilistic automata /