[Enciclopedia Online Gratuita] Diccionario de Internet y Tecnologías de la Información y la Comunicación (TIC):

ıllı Lenguaje de Comandos Guardados : que es, definición y significado, descargar videos y fotos.

  ıllı Lenguaje de Comandos Guardados : que es, definición y significado, descargar videos y fotos.  

---

Un comando guardado consiste en una orden —un enunciado— que está "guardada" (protegida) por una proposición llamada guarda, cuyo valor ha de ser auténtico antes que se ejecute el comando. Cuando el enunciado se ejecuta, puede aceptarse que la proposición de guarda es auténtica. Si la proposición de guarda es falsa, no se ejecutará el enunciado.

El empleo de comandos guardados facilita la comprobación de que el programa cumple la especificación.

Un comando guardado es un enunciado de la manera G?Sundefined, donde

• Gundefined es la proposición de guarda;
  
• Sundefined es una instrucción.

Cuando Gundefined se halla en un cálculo, se valora.

• Si Gundefined es auténtico, se ejecuta Sundefined .
  
• Si Gundefined es falso, lo que se va a hacer va a depender del contexto.

Las sentencias Gundefined pueden mudar estados:

x, z = y, y + 1 el nuevo valor de x es y y el nuevo valor de z es y + 1

o efectuar entrada y salida:

print "Salida"

Naturalmente, una implementación de comandos guardados puede permitir cualquier anchura para las condiciones y sentencias.

Un comando guardado se puede presentar por sí mismo como una sentencia; en comandos que siempre y en todo momento se ejecutan, la guarda se puede omitir:

true ?undefined print 5

es equivalente a:

print 5

La construcción condicional o bien de selección es una lista de comandos guardados, de los que uno es elegido para ser ejecutado. Si más de una guarda es auténtica, el enunciado que se ejecutará se elige de forma azarosa o bien de forma no determinista. Si ninguna guarda es auténtica, el resultado es indefinido (semánticamente equivalente a una instrucción Abort). Puesto que cuando menos una guarda debe ser auténtica, es usual que se necesite la instrucción Skip.

ifundefinedG0?S0undefinedG1?S1undefined...undefinedGn?Snundefinedfiundefined

• Si ninguna de las guardas es verdadera: Abort;
  
• Si únicamente la guarda Gxundefined es verdadera: ejecutar Sxundefined ;
  
• Si las guardas Gx0 ... Gxmundefined son verdaderas: ejecutar cualquier Sxyundefined , donde 0=y=mundefined

Dada la expresión en pseudocódigo:

if a=bundefined then print "Mayor o igual";else if aEl equivalente en comandos guardados es:

ifa=b?undefined print "Mayor o igual"aLa potencia de los comandos guardados se ilustra en la próxima expresión:

ifa=b?undefined print "Mayor o igual"a=b?undefined print "Menor o igual"fi

Cuando a=bundefined, el resultado del comando puede ser o "Mayor o igual" o "Menor o igual" (mas no los 2).

La construcción de reiteración do se escribe así:

doundefinedG0?S0undefinedG1?S1undefined...undefinedGn?Snundefinedodundefined

Las guardas de los comandos guardados se valoran. Si una de ellas es auténtica, se ejecuta el enunciado pertinente. Si más de una es auténtica, se ejecuta solo un enunciado elegido de entre los pertinentes de forma azarosa o bien no determinista. El proceso se repite hasta el momento en que ninguna de las guardas valore como auténtica (esto es, tras ejecutar un comando se vuelve a valorar las guardas desde el comienzo).

A continuación se da una implementación del algoritmo de Euclides para encontrar el máximo común divisor.

x, y = X, Ydode nuevo, terminación cuando x=yundefinedx>y?undefined x:= x-yy>x?undefined y:= y-xodprint x

Circuitos Asíncronos

Los comandos guardados son convenientes para diseño de circuitos QDI por el hecho de que la construcción do-od deja retrasos relativos arbitrarios para la selección de comandos diferentes. En esta aplicación, una puerta lógica manejando un nodo y en el circuito consiste en 2 comandos guardados, como sigue:

PulldownGuard?y:=0undefinedPullupGuard?y:=1undefined

PulldownGuard y PullupGuard son funciones de la entrada de la puerta lógica, que describen las acciones de salida pull down y pull up respectivamente.

Al contrario que modelos tradicionales de evaluación de circuitos, el modelo do-od para un conjunto de comandos guardados (correspondiendo a un circuito asíncrono) puede describir con precisión todos y cada uno de los posibles comportamientos activos del circuito.

---

  ELIGE TU TEMA DE INTERÉS: 

---

Internet y Tecnologias

• Anterior
• Siguiente