Function that maps strings from one formal language into string of another formal language?
Posted by TomR, at math.stackexchange.com,
Is there branch of mathematics and mathematical theories, that considers mappings from strings of one language into strings of…