A PERSON@1 numbering can be interpreted as an encoding in which a number is assigned to each symbol of a mathematical notation , after which a sequence of natural numbers can then represent a sequence of strings .

A PERSON@1 numbering can be interpreted as an encoding where a number is assigned to each symbol of a mathematical notation , and a stream of natural numbers can then represent some form or function .
