In this post I shall define in more formal terms what I am trying to accomplish with a MANN. Formal Languages In formal language theory, decision algorithms (such as a Turing machines) will take sequences of discrete tokens as inputs, and end up either accepting it or rejecting it. We call the discrete tokens letters …