Desactivación (sintaxis)

En el diseño de lenguajes de programación , el stropping es un método para marcar explícitamente secuencias de letras como poseedoras de una propiedad especial, como ser una palabra clave , o un cierto tipo de variable o ubicación de almacenamiento, y por lo tanto habitar un espacio de nombres diferente al de los nombres ordinarios ("identificadores"), para evitar conflictos. El stropping no se utiliza en la mayoría de los lenguajes modernos; en su lugar, las palabras clave son palabras reservadas y no pueden usarse como identificadores. El stropping permite que la misma secuencia de letras se utilice tanto como palabra clave como identificador , y simplifica el análisis sintáctico en ese caso; por ejemplo, permite una variable llamada ifsin conflicto con la palabra clave if .

La técnica de "stropping" se asocia principalmente con ALGOL y lenguajes relacionados en la década de 1960. Si bien todavía se utiliza en la actualidad , se confunde fácilmente con otras técnicas similares que son superficialmente parecidas.

El método de stropping y el término "stropping" surgieron en el desarrollo de ALGOL en la década de 1960, donde se usaba para representar distinciones tipográficas (negrita y subrayado) que se encontraban en el lenguaje de publicación que no podían representarse directamente en el lenguaje de hardware: una máquina de escribir podía tener caracteres en negrita, pero en la codificación en tarjetas perforadas, no había caracteres en negrita. El término "stropping" surgió en ALGOL 60 , de " apóstrofe ", ya que algunas implementaciones de ALGOL 60 usaban apóstrofes alrededor del texto para indicar negrita, ^{[ 1 ]} como 'if'para representar la palabra clave if . Stropping también es importante en ALGOL 68 , donde se usan múltiples métodos de stropping, conocidos como "regímenes de stropping"; los apóstrofes coincidentes originales de ALGOL 60 no se usaban ampliamente, siendo más común un punto inicial o mayúsculas, ^{[ 2 ]} como en .IFor IFy el término "stropping" se aplicó a todos estos.

Se han utilizado diversas sintaxis para el stropping:

• ALGOL 60 comúnmente usaba solo la convención de comillas simples alrededor de la palabra, generalmente como apóstrofes, de donde proviene el nombre "stropping" (por ejemplo 'BEGIN').
• ALGOL 68 ^{[ 3 ] [ 2 ]} en algunas implementaciones trata las secuencias de letras precedidas por una comilla simple, ' , como palabras clave (por ejemplo, 'BEGIN) ^{[ 4 ]}

De hecho, era frecuente que se utilizaran varias convenciones de stroping dentro de un mismo lenguaje. Por ejemplo, en ALGOL 68 , la elección de la convención de stroping se puede especificar mediante una directiva del compilador (en la terminología de ALGOL, un " pragmat "), a saber, POINT, UPPER, QUOTE o RES:

• PUNTO para 6 bits (no hay suficientes caracteres para minúsculas), como en .FOR– se utiliza una convención similar en FORTRAN 77, donde las palabras clave LOGICAL se escriben como .EQ.etc. (ver más abajo)
• MAYÚSCULAS para 7 bits, como en FOR– con minúsculas utilizadas para identificadores ordinarios
• CITA como en ALGOL 60, como en'for'
• Las palabras reservadas de RES, tal como se usan en los idiomas modernos, forestán reservadas y no están disponibles para los identificadores ordinarios.

Los distintos regímenes de reglas son una especificación léxica para caracteres con trazos, aunque en algunos casos tienen interpretaciones simples: en los regímenes de apóstrofe simple y punto, el primer carácter funciona como un carácter de escape , mientras que en el régimen de apóstrofes coincidentes los apóstrofes funcionan como delimitadores , como en los literales de cadena .

Otros ejemplos:

• Atlas Autocode tenía tres opciones: las palabras clave podían underlinedusarse con la tecla de retroceso y la tecla de sobrescritura en un teclado Flexowriter , podían introducirse mediante una coma %percent %symbolo podían escribirse UPPER CASEsin ningún carácter delimitador (modo "delimitadores en mayúsculas", en cuyo caso todas las variables debían estar en minúsculas).
• ALGOL 60 en las computadoras Elliott 803 y Elliott 503 usaba subrayado. Las Flexowriters (que producían cinta de papel perforada) tenían una tecla fija (subrayado _) de modo que al escribir _b_e_g_i_n se obtenía begin , que era muy legible. La barra vertical | también era una tecla fija, por lo que al escribir |= se obtenía una buena aproximación a ≠.
• El compilador Kidsgrove para ALGOL 60 en el English Electric KDF9 parece haber utilizado al menos otras dos convenciones de trazo además de las comillas: signos de exclamación y caracteres de porcentaje .
• Los programas ALGOL 68RS permiten el uso de varias variantes de strap, incluso dentro del mismo procesador de lenguaje.
• Edinburgh IMP heredó la %percent %symbolconvención de prefijos de Atlas Autocode, pero no sus otras opciones de ajuste.

Nótese la directiva principal pr (abreviatura de pragmat ) , que a su vez está struptada en estilo POINT o quote, y el comentario for (de " ") – véase ALGOL 68: pr & co: Pragmats and Comments para más detalles.¢2¢

Por diversas razones, Fortran 77 tiene estos valores y operadores "lógicos": .TRUE., .FALSE., .EQ., .NE., .LT., .LE., .GT., .GE., .EQV., .NEQV., .OR., .AND., .NOT.^{[ 5 ]}

.AND.y también se utilizan en pruebas combinadas en declaraciones y en .OR.archivos por lotes ejecutados bajo los procesadores de línea de comandos de JP Software como 4DOS , ^{[ 6 ]} 4OS2 y 4NT / Take Command ..XOR.IFIFF

En un front-end de compilador , el destropping originalmente ocurría durante una fase inicial de reconstrucción de línea , que también eliminaba los espacios en blanco. A esto le seguía el análisis sin escáner (sin tokenización); esto era estándar en la década de 1960, especialmente para ALGOL. En el uso moderno, el destropping generalmente se realiza como parte del análisis léxico . Esto es claro si se distingue el léxico en dos fases de escáner y evaluador: el escáner categoriza la secuencia destropeada en la categoría correcta, y luego el evaluador destropea al calcular el valor. Por ejemplo, en un idioma donde se usa un guion bajo inicial para destropear los identificadores para evitar colisiones con palabras reservadas, la secuencia _ifsería categorizada como un identificador (no como la palabra reservada if) por el escáner, y luego el evaluador le daría el valor if, produciendo (Identifier, if)como tipo de token y valor.

Existen varias técnicas similares, que generalmente anteponen o sufijan un identificador para indicar un tratamiento diferente, pero la semántica varía. Estrictamente hablando, el stropping consiste en diferentes representaciones del mismo nombre (valor) en diferentes espacios de nombres, y ocurre en la etapa de tokenización. Por ejemplo, en ALGOL 60 con stropping de apóstrofe coincidente, 'if'se tokeniza como (Keyword, if), mientras que ifse tokeniza como (Identifier, if) – mismo valor en diferentes clases de tokens.

El uso de mayúsculas para las palabras clave sigue vigente como convención para escribir gramáticas para el análisis léxico y sintáctico: tokenizar la palabra reservada ifcomo la clase de token IF, y luego representar una cláusula if-then-else mediante la frase IF Expression THEN Statement ELSE Statementdonde los términos en mayúsculas son palabras clave y los términos en mayúsculas son símbolos no terminales en una regla de producción ( los símbolos terminales se denotan con términos en minúsculas, como identifiero integer, para un literal entero ).

La técnica de "stopping" se utiliza en lenguajes de programación para facilitar el trabajo del compilador (o, más precisamente, del analizador sintáctico ), es decir, dentro de las capacidades de las computadoras relativamente pequeñas y lentas disponibles en los inicios de la informática en el siglo XX. Sin embargo, técnicas similares también se han utilizado comúnmente para facilitar la comprensión lectora. Algunos ejemplos son:

• Se colocan las palabras importantes en negrita , ^{[ 13 ]} como la primera mención de stropping en la parte superior de esta página, porque definir stropping es el propósito mismo de la página.
• Formatear las palabras nuevas en cursiva ^{[ 14 ]} cuando aparecen por primera vez en el texto. Esto se usa comúnmente en la ciencia ficción y la fantasía al presentar plantas, alimentos o criaturas inventadas; en relatos de viajes y escritura histórica al describir palabras extranjeras desconocidas; y así sucesivamente. También se puede usar una fuente especial, posiblemente asociada con el idioma en cuestión, por ejemplo, una fuente gótica ^{[ 15 ]} para palabras en alemán .
• Utilizar un idioma diferente, normalmente latín o griego, para indicar términos técnicos. Esto es similar al uso de palabras reservadas, pero suele combinarse con texto en cursiva para facilitar la lectura. Por ejemplo:
  • La nomenclatura binomial típica ^{[ 16 ]} o los "nombres latinos" de plantas y animales ayudan al lector a ver que " Erithacus rubecula " es el nombre técnico especial de Erithacus rubecula , de una manera que "zorzal europeo de pecho rojo" no lo hace.
  • muchos términos legales donde una breve frase en latín se refiere a un amplio cuerpo de leyes y precedentes, como habeas corpus , sub judice , in loco parentis . ^{[ 17 ]}
  • términos lógicos y matemáticos como QED , a priori , viceversa ...
• En japonés escrito , además de los caracteres Kanji , los dos alfabetos distintos (más estrictamente, silabarios ) Hiragana ^{[ 18 ] [ 19 ]} y Katakana [ ^{20 ]} , que representan el mismo conjunto de sonidos, se utilizan para distinguir las palabras japonesas escritas fonéticamente de las palabras extranjeras importadas, respectivamente; Katakana también se utiliza para enfatizar, de forma muy parecida ^a la cursiva en inglés.

• Dígrafos y trígrafos (programación)
• Personaje de escape

• Hansen, WJ; Boom, HJ (1978). "Informe sobre la representación de hardware estándar para ALGOL 68 revisado". Acta Informatica . 9 (2): 105– 119. doi : 10.1007/BF00289072 . S2CID 34231916 . 
• Lindsey, Charles Hodgson (marzo de 1970), "Una representación en código ISO para ALGOL 68" , Boletín ALGOL (31), ACM: 37–60 , AB31.3.6