Computerwissenschaften small-step-semantics

Unterschied zwischen operativer Semantik in kleinen und großen Schritten

Was sind die grundlegenden Unterschiede zwischen der operativen Semantik in kleinen und großen Schritten? Es fällt mir schwer zu begreifen, was es ist und was die Motivation ist, die beiden zu haben.

28 semantics operational-semantics small-step-semantics

Ausdruckskraft moderner regulärer Ausdrücke

Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei ||||||||denen die Anzahl der |Primzahlen ist. Ich sagte ihm sofort, dass dies …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

Als «small-step-semantics» getaggte Fragen