«operational-semantics» 태그된 질문

작은 단계와 큰 단계의 동작 의미론의 근본적인 차이점은 무엇입니까? 나는 그것이 무엇인지 파악하고 두 가지를 갖는 동기를 얻는 데 어려움을 겪고 있습니다.

28 semantics  operational-semantics  small-step-semantics 

"Conflict-Free Replicated JSON Datatype" 논문에서 , "규칙"을 공식적으로 정의하는이 표기법을 발견했습니다. 이 표기법은 무엇입니까? 어떻게 읽습니까? 예를 들면 다음과 같습니다. DOC규칙은 "분자"에 아무것도하지 않습니다 - 왜? EXEC및 GET규칙은 그 의미를 무엇을, 선 위에 두 개의 별도의 조건을 가지고있는 것 같습니다? VAR다른 많은 규칙이 화살표의 일종 사용하는 동안이 하나가 아니라 x는 …

18 semantics  notation  formal-methods  operational-semantics 

프로그래밍 언어를 정의하기위한 운영 의미론 (작은 단계와 큰 단계)에 익숙합니다. 나는 의미 론적 의미론을 배우는 데 관심이 있지만 노력이 가치가 있는지 확실하지 않습니다. 다른 관점에서 동일한 자료를 배우고 있습니까, 아니면 의미 의미론을 이해해야 만 얻을 수있는 통찰력이 있습니까?

14 semantics  operational-semantics  denotational-semantics 

나는 미적분학과 프로그래밍 언어라는 것에 대해 혼란스러워합니다. 나는 미적분학이 프로그램의 동등성에 대한 추론을위한 공식적인 시스템이라고 생각하는 경향이있다. 프로그램에는 기계에 의해 지정된 작동 의미론이 있으며 결정적이어야합니다. 이런 식으로 언어 대한 (정확한) 미적분 은 프로그램 동등성을위한 확실한 방법입니다.엘엘L 이것은 나에게 합리적인 분열처럼 ​​보이지만 이것이 일반적으로 받아 들여지는 의미입니까? 아니면 잘못 됐나요? 관련, …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

일반적으로 while 루프의 구조적 작동 의미 론적 표현에서 프로그램 상태는 변경되지 않습니다. (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) 나에게 이것은 상태가 변하지 않으면 (즉, 메모리 상태가 동일하게 유지되는 경우) 직관적이지 않습니다. BBB …

9 formal-languages  programming-languages  formal-methods  operational-semantics