Probabilistic representation of formal languages | Synapse