IPv6 Móvil

Katherine Loaiza Elian Laura Christian Monzón

Luis A. Tunquipa

Sistemas Operativos

Kathy L., Elian L., Christian M., Luis T. IPv6 Móvil

Contenido

Kathy L., Elian L., Christian M., Luis T. IPv6 Móvil

Sentencia Condicional IF

La expresión condicional if(E) S1 else S2 tiene que ser dividida

en tres reglas:
La condición es evaluada (OP-IfExpr).
Reducción cuando es true, (OP-IfTrue).
Reducción cuando es false, (OP-IfFalse).

Kathy L., Elian L., Christian M., Luis T. IPv6 Móvil

Ciclo Condicional - WHILE

While es convertido a una sentencia IF correspondiente

Kathy L., Elian L., Christian M., Luis T. IPv6 Móvil

Método CALL

La llamada a un método m del cual sus parámetros son

expresiones es reescrita como una llamada del método m
del cual su parámetros son valores.
Los parámetros pasados al método son evaluados en el
contexto de la variable original vp. (rule
OP-METHODCALLEXPR).

Kathy L., Elian L., Christian M., Luis T. IPv6 Móvil

Método CALL

La llamada del método m con parámetros como valores es

evaluado en dos formas diferentes dependiendo de si m
representa un método clásico o un operador cuántico.
Si m representa un método clásico, la llamada de un
método m es reescrita como la parte del cuerpo del
método m (regla OP-DOMETHODCALLCL) traducido a
una sintaxis interna por MB .

Kathy L., Elian L., Christian M., Luis T. IPv6 Móvil

Método CALL

Si m representa un operador cuántico εm , este operador

es aplicado a un subsistema cuántico especificado por los
parámetros
Los valores υ1 , . . . , υn son referencias globales al
almacenamiento cuántico (GQuantum, `rn ) ó ⊥.
En el caso que ⊥ sea referido, un error UV ocurre en
tiempo de ejecución (regla OP-METHODCALLQUNINIT).

Kathy L., Elian L., Christian M., Luis T. IPv6 Móvil

Método CALL

La condición de que todo sistema cuántico es físicamente

diferente puede ser reformulado como: todos los índices
de las listas `r1 , . . . , `rn son mutuamente diferentes, ie.
para todo 1 ≤ j, k ≤ n, j 6= k .
Si esta condición no es satisfecha, un error OQV es
invocada (regla OP-METRODCALLQOVERLAP).
La lista qsi de índices de sistemas cuánticos a ser
medidos son dados por una concatenación de listas
linearizadas individualmente: qsi = `r1 · . . . · `rn , que
determinan el sistema cuántico qqsi .

Kathy L., Elian L., Christian M., Luis T. IPv6 Móvil

Método CALL

La dimensión dqqsi de un sistema cuántico ql es calculado

desde la parte global ((ρ, L), C) de la configuración como:

Denotamos d como el orden de la matriz ρ y d la

dimensión de la parte intacta del sistema, d = d/ddqsi
(regla OP-DOMETHODCALLQ).

Kathy L., Elian L., Christian M., Luis T. IPv6 Móvil

Conclusiones

Kathy L., Elian L., Christian M., Luis T. IPv6 Móvil