Changes

MyWikiBiz, Author Your Legacy — Sunday September 29, 2024
Jump to navigationJump to search
Line 1,535: Line 1,535:  
\end{array}</math>
 
\end{array}</math>
 
|}
 
|}
 +
 +
The concatenation <math>L_1 \cdot L_2</math> of the formal languages <math>L_1\!</math> and <math>L_2\!</math> is just the cartesian product of sets <math>L_1 \times L_2</math> without the extra <math>\times</math>'s, but the relation of cartesian products to set-theoretic intersections and thus to logical conjunctions is far from being clear.  One way of seeing a type of relation is to focus on the information that is needed to specify each construction, and thus to reflect on the signs that are used to carry this information.  As a first approach to the topic of information, according to a strategy that seeks to be as elementary and as informal as possible, I introduce the following set of ideas, intended to be taken in a very provisional way.
    
<pre>
 
<pre>
The concatenation L_1 · L_2 of the formal languages L_1 and L_2 is
  −
just the cartesian product of sets L_1 x L_2 without the extra x's,
  −
but the relation of cartesian products to set-theoretic intersections
  −
and thus to logical conjunctions is far from being clear.  One way of
  −
seeing a type of relation is to focus on the information that is needed
  −
to specify each construction, and thus to reflect on the signs that are
  −
used to carry this information.  As a first approach to the topic of
  −
information, according to a strategy that seeks to be as elementary
  −
and as informal as possible, I introduce the following set of ideas,
  −
intended to be taken in a very provisional way.
  −
   
A "stricture" is a specification of a certain set in a certain place,
 
A "stricture" is a specification of a certain set in a certain place,
 
relative to a number of other sets, yet to be specified.  It is assumed
 
relative to a number of other sets, yet to be specified.  It is assumed
12,080

edits

Navigation menu