Trong bài báo "Một kiểu dữ liệu JSON được sao chép không xung đột" , tôi đã gặp ký hiệu này để định nghĩa chính thức "quy tắc":
Ký hiệu này được gọi là gì? Làm thế nào để tôi đọc nó?
Ví dụ:
- các
DOC
quy tắc không có bất cứ điều gì trong "tử số" của nó - tại sao không? - các quy tắc
EXEC
vàGET
dường như có hai thuật ngữ riêng biệt trên dòng, điều đó có nghĩa là gì? - các
VAR
quy tắc nổi bật một chút là tốt, vì trong khi nhiều quy tắc khác sử dụng một số loại mũi tên (mà tôi sẽ làm để có nghĩa là "ngụ ý") lên hàng đầu này dường như chỉ được nói rằng x là một phần tử của một cái gì đó. - hầu hết mọi thứ đều bị ảnh hưởng bởi một chữ
Ap,
cái đầu mà văn bản mô tả là "trạng thái của bản sao p được mô tả bởi Ap, một hàm hữu hạn" - làm thế nào một người đọc hiểu biết về ký hiệu này có xu hướng "nhìn thấy" phần đó của mọi quy tắc?
Trang web này đã đề xuất một câu hỏi liên quan có một số ký hiệu trông rất giống nhau, về câu hỏi Tầm quan trọng của ⟨B, s⟩ -> B ', s'⟩ là quy tắc ban đầu trong câu hỏi này về bước nhỏ ngữ nghĩa? - điều này được gắn thẻ là ngữ nghĩa hoạt động và dường như đó là một hướng dẫn mạnh mẽ. Đó có thực sự là khuôn khổ mà theo đó tôi nên diễn giải những số liệu này? Bạn có thể dễ dàng tóm tắt điều này trong mẫu "khóa học sự cố" để ngay cả khi tôi không thể xác minh tính chính xác của bằng chứng của họ, ít nhất tôi có thể hiểu thêm một chút về những gì họ nói trong phần này không?