Gravar-mail: A Use of Formal Language Theory in Medical Decision-Making