Raul,
Thanks for the explanation.
But you do not explicitly clarify in the following how the grammar rules do
the expansion.
************unexplained part below**************
But let's break this down formally. The sentence in question is formed
using conjunctions.
In other words, we could expand it using J's grammar rules to this:
(;: 7{.S) -. ;:'-'
or, this:
(;:'start-A') -. ;:'-'
************unexplained part above**************
I got a little further with the following, but even `trace` skips over the
same *LAST* part where the primitive Less (-.) miraculously gets between
the other 2 pieces in your final step. So what is that final parsing rule,
please?
trace'(-.&;:)&''-'' ''start-A'''
--------------- 4 Conj -------
-.
&
;:
-.&;:
--------------- 8 Paren ------
(
-.&;:
)
-.&;:
--------------- 4 Conj -------
-.&;:
&
'-'
-.&;:&'-'
--------------- 0 Monad ------
-.&;:&'-'
'start-A'
┌─────┬─┐
│start│A│
└─────┴─┘
==============================
┌─────┬─┐
│start│A│
└─────┴─┘
On Sun, Jan 2, 2022 at 2:53 PM Raul Miller <[email protected]> wrote:
[snip]
>
> But let's break this down formally. The sentence in question is formed
> using conjunctions.
>
> In other words, we could expand it using J's grammar rules to this:
> (;: 7{.S) -. ;:'-'
>
> or, this:
>
> (;:'start-A') -. ;:'-'
> +-----+-+
> |start|A|
> +-----+-+
>
> [snip]
>
> Thanks for the question,
>
> --
> Raul
>
> --
(B=)
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
