Anda di halaman 1dari 10

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