送交者: gyro 于 2006-3-30, 08:36:06:

回答: okay, here we go: 由 steven 于 2006-3-29, 23:38:28:

axiom 1) YT is a set of strings, and given a set of string S, where S U YT is YT.

Without "where" it makes sense. But then for arbitrary S not a subset of YT, S U YT > YT, so YT is not well defined yet. Assuming U stands for union of sets.

Perhaps you are trying to define YT recursively, starting with L2. Nice attempt, but we need more!

• U is combination operations which includes union, cross product - steven (160 bytes) 2006-3-30, 11:15:16
  • Does YTer's Traffic=YTer's Discussion Thread - gyro (56 bytes) 2006-3-30, 11:38:23
    • of course, it is concatenation if it appends to the original, - steven (80 bytes) 2006-3-30, 12:03:07

加跟贴