12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Monday July 08, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 19:36, 4 May 2012
, 19:36, 4 May 2012→6.11. Higher Order Sign Relations : Application: markup
|}
|}
<pre>
If <math>Q\!</math> follows rules that are typical of many species of interpreters, then the value of this expression will depend on the values of the following three expressions:
De ("De", Q),
{| align="center" cellspacing="8" width="90%"
De ("q" , Q),
|
De ("R" , Q).
<math>\begin{array}{lccc}
\operatorname{De}( & {}^{\backprime\backprime} \operatorname{De} {}^{\prime\prime} & , & Q)
\\[6pt]
\operatorname{De}( & {}^{\backprime\backprime} q {}^{\prime\prime} & , & Q)
\\[6pt]
\operatorname{De}( & {}^{\backprime\backprime} L {}^{\prime\prime} & , & Q)
\end{array}</math>
|}
<pre>
What are the roles of the signs "De", "q", "R" and what are they supposed to mean to Q? Evidently, "De" is a constant name that refers to a particular function, "q" is a variable name that makes a PIR to a collection of signs, and "R" is a variable name that makes a PIR to a collection of sign relations.
What are the roles of the signs "De", "q", "R" and what are they supposed to mean to Q? Evidently, "De" is a constant name that refers to a particular function, "q" is a variable name that makes a PIR to a collection of signs, and "R" is a variable name that makes a PIR to a collection of sign relations.
