Re: WM and end segments...

On 7/23/2024 1:34 PM, Moebius wrote:

Am 23.07.2024 um 22:03 schrieb Chris M. Thomasson:
 > On 7/23/2024 12:57 PM, Chris M. Thomasson wrote:
 >
 >> "LLLLLLLL....." is an infinite expression, indeed....
 No, it's not.

I am not in the programming world where "LLLLLLLL....." is a string literal, so to speak. Think if LLLLLLLL..... representing an endless string of L's. So, grab next would always return an L.
So a finite shorthand for the infinite expansion? Fair enough?

Hint: It consists of 8 "L"s and 5 "."s, in total of 13 characters. No?

Sure, but this consists of
".(9)" 4 characters, or 5 with the NUL in C/C++, yet, say it translates into .(9), aka endless nines, aka one in base 10. Right? A parser can do this.

(A programmer really should know this! :-)

Of course I do.

 > So, it can be reduced to:
 >
 > (L) = LLL... ? Fair enough?
 More math like, defining it as an infinite sequence:
      (c_n)_(n e IN) with c_n = "L" for all n e IN. :-P
 We'd usually write (a term referring to) this sequence the following way:
      ("L", "L", "L", ...) .
 :-P
 Of course, most mathematicains would just write
      (L, L, L, ...)
 when it's clear that "L" is not some sort of variable or arbitrary constant but should refer to the letter "L". :-P
 Hint: WM does not even know how to write terms for (i.e. referring to) infinite sequences properly.

Big time!