Quelle est la différence fondamentale entre la sémantique opérationnelle à petite et à grande étape? J'ai du mal à comprendre ce que c'est et la motivation pour avoir les
Dans l'article "Un type de données JSON répliqué sans conflit" , j'ai rencontré cette notation pour définir formellement des "règles": Comment s'appelle cette notation? Comment est-ce que je le lis? Par exemple: la DOCrègle n'a rien dans son "numérateur" - pourquoi pas? les règles EXECet...
Je connais la sémantique opérationnelle (petite et grande étape) pour définir les langages de programmation. Je suis également intéressé à apprendre la sémantique dénotationnelle, mais je ne sais pas si cela en vaudra la peine. Vais-je simplement apprendre le même matériel d'un point de vue...
Je pense que je suis assez confus à propos de ce qu'on appelle un calcul et ce qu'on appelle un langage de programmation. J'ai tendance à penser, et on aurait pu le dire, qu'un calcul est un système formel de raisonnement sur l'équivalence des programmes. Les programmes ont une sémantique...
Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: 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 then...
J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai...
Habituellement, je vois que dans la représentation sémantique opérationnelle structurelle pour la boucle while, l'état du programme ne change pas: ( W h i l eBréoS, σ) → ( i fBt h e nS; ( W h i l eBréoS)e l s eSKjeP, σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma)...