the gremlin graph traversal machine and language ( invited talk ) .
On Computable Numbers, with an Application to the Entscheidungsproblem.