¿Cuál es la (s) diferencia (s) fundamental (es) entre la semántica operativa de pequeños y grandes pasos? Me está costando comprender lo que es y la motivación para tener los
¿Cuál es la (s) diferencia (s) fundamental (es) entre la semántica operativa de pequeños y grandes pasos? Me está costando comprender lo que es y la motivación para tener los
En el documento "Un tipo de datos JSON replicado libre de conflictos" , encontré esta notación para definir formalmente "reglas": ¿Cómo se llama esta notación? ¿Cómo lo leo? Por ejemplo: el DOC regla no tiene nada en su "numerador", ¿por qué no? Las reglas EXECy GETparecen tener dos términos...
Estoy familiarizado con la semántica operativa (tanto pequeños como grandes) para definir lenguajes de programación. También estoy interesado en aprender semántica denotacional, pero no estoy seguro de si valdrá la pena el esfuerzo. ¿Aprenderé el mismo material desde un punto de vista diferente, o...
Creo que estoy bastante confundido acerca de lo que se llama cálculo y lo que se llama lenguaje de programación. Tiendo a pensar, y podría haberme dicho, que un cálculo es un sistema formal para razonar sobre la equivalencia de los programas. Los programas tienen una semántica operativa...
En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...
Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente...
Por lo general, veo que en la representación semántica operacional estructural para el ciclo while, el estado del programa no cambia: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while...