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!