Line 689: |
Line 689: |
| # A grammar rule that invokes a notion of decatenation, deletion, erasure, or any other sort of retrograde production, is frequently considered to be lacking in elegance, and a there is a style of critique for grammars that holds it preferable to avoid these types of operations if it is at all possible to do so. Accordingly, contingent on the prescriptions of the informal rule in question, and pursuing the stylistic dictates that are writ in the realm of its aesthetic regime, it becomes necessary for us to backtrack a little bit, to temporarily withdraw the suggestion of employing these elliptical types of operations, but without, of course, eliding the record of doing so. | | # A grammar rule that invokes a notion of decatenation, deletion, erasure, or any other sort of retrograde production, is frequently considered to be lacking in elegance, and a there is a style of critique for grammars that holds it preferable to avoid these types of operations if it is at all possible to do so. Accordingly, contingent on the prescriptions of the informal rule in question, and pursuing the stylistic dictates that are writ in the realm of its aesthetic regime, it becomes necessary for us to backtrack a little bit, to temporarily withdraw the suggestion of employing these elliptical types of operations, but without, of course, eliding the record of doing so. |
| | | |
− | <pre>
| + | One way to analyze the surcatenation of any number of sentences is to introduce an auxiliary type of string, not in general a sentence, but a proper component of any sentence that is formed by surcatenation. Doing this brings one to the following definition: |
− | One way to analyze the surcatenation of any number of sentences is to | |
− | introduce an auxiliary type of string, not in general a sentence, but | |
− | a proper component of any sentence that is formed by surcatenation. | |
− | Doing this brings one to the following definition: | |
| | | |
− | A "tract" is a concatenation of a finite sequence of sentences, with a | + | A ''tract'' is a concatenation of a finite sequence of sentences, with a literal comma <math>^{\backprime\backprime} \operatorname{,} ^{\prime\prime}</math> interpolated between each pair of adjacent sentences. Thus, a typical tract <math>T\!</math> takes the form: |
− | literal comma "," interpolated between each pair of adjacent sentences. | |
− | Thus, a typical tract T takes the form: | |
| | | |
− | T = S_1 · "," · ... · "," · S_k. | + | {| align="center" cellpadding="8" width="90%" |
| + | | |
| + | <math>\begin{array}{lllllllllll} |
| + | T |
| + | & = |
| + | & S_1 |
| + | & \cdot |
| + | & ^{\backprime\backprime} \operatorname{,} ^{\prime\prime} |
| + | & \cdot |
| + | & \ldots |
| + | & \cdot |
| + | & ^{\backprime\backprime} \operatorname{,} ^{\prime\prime} |
| + | & \cdot |
| + | & S_k \\ |
| + | \end{array}</math> |
| + | |} |
| | | |
| + | <pre> |
| A tract must be distinguished from the abstract sequence of sentences, | | A tract must be distinguished from the abstract sequence of sentences, |
| S_1, ..., S_k, where the commas that appear to come to mind, as if being | | S_1, ..., S_k, where the commas that appear to come to mind, as if being |