Handling the growth by definition of mechanical languages

Lexicalised Locality: Local Domains and Non-Local Dependencies in a Lexicalised Tree Adjoining Grammar

“…However, the justification for structural descriptions that do not follow the single mother condition [53] in the present work is not related to properties of merge (as it is in Citko's or Johnson's work) but follows from the assumption that what the syntax operates over are nodes, which are assigned addresses, and that these addresses are unique identifiers in a derivation. 6 Furthermore, and along the lines of [67], only substantive symbols are assigned addresses: in terms of a lexicalised grammar, we implement this as establishing that only (single-word or multi-word) expressions assigned to an indexed category of the grammar and have a semantic value (categorematic elements in the logical tradition, see [68,69] for an application of this concept to categorial grammars) are assigned addresses. The set of syncategorematic symbols depends on the language: for example, English infinitival to and copulative be have been proposed to be syncategorematic [69], as have Spanish apparent prepositions and complementisers in verbal periphrases (e.g., que in <tener que + infinitive>, a in <ir a + infinitive>) as argued in [70].…”

“…. signs that signify nothing by themselves but serve to indicate how independently meaningful terms are combined" [68], i.e., syncategorematic expressions, are not assigned addresses, only categorematic expressions are (a similar perspective is adopted in [67], p. 214, within a purely mathematical framework: in that work, only "object characters" in formulae are assigned addresses).…”

“…We can look at how to define the IL translation of what, that is, the content of the address Philosophies 2021, 6, x FOR PEER REVIEW 23 of 31 copulative be have been proposed to be syncategorematic [69], as have Spanish apparent prepositions and complementisers in verbal periphrases (e.g., que in <tener que + infini-tive>, a in <ir a + infinitive>) as argued in [70]. This means that "…signs that signify nothing by themselves but serve to indicate how independently meaningful terms are combined" [68], i.e., syncategorematic expressions, are not assigned addresses, only categorematic expressions are (a similar perspective is adopted in [67], p. 214, within a purely mathematical framework: in that work, only "object characters" in formulae are assigned addresses).…”

“…The interpretation of which discourse in this context is "choose an entity that b to the set of discourses (such that there is an x, x a senator, that read that discourse) in the same context, means "choose an entity (such that…)", with the added specif and the edge connecting nodes V and Philosophies 2021, 6, x FOR PEER REVIEW copulative be have been proposed to prepositions and complementisers in tive>, a in <ir a + infinitive>) as argued This means that "…signs that s how independently meaningful terms are not assigned addresses, only cat adopted in [67], p. 214, within a purel ject characters" in formulae are assign What is the content of these addr the content of an address is the intens sion ( [71,72]). An introduction to inte and related works) would greatly exc for our purposes.…”

Turing und die Verifikation

“…Automatische Terminierungsbeweise wurden schon in den 1960er-Jahren für Termersetzungssysteme geführt [35]. Anwendungen fanden die entwicklten Methoden auch für Programme in mehreren Programmiersprachenparadigmen, indem Programme in Termersetzungssysteme übersetzt wurden [13,73].…”