1 Sự khác biệt giữa ngữ nghĩa hoạt động nhỏ và lớn Sự khác biệt cơ bản giữa các ngữ nghĩa hoạt động nhỏ và lớn là gì? Tôi đang có một thời gian khó khăn để nắm bắt nó là gì và động lực để có hai. 28 semantics operational-semantics small-step-semantics
1 Biểu cảm của biểu thức chính quy hiện đại Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi … 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