Ngữ nghĩa chính thức về định vị hộp CSS

Question

Tôi là sinh viên khoa học máy tính (lý thuyết) và việc điều tra ngữ nghĩa của ngôn ngữ lập trình là một trong những môn học của tôi (wikipedia).

Tôi đã chơi rất nhiều với CSS và có sự hiểu biết hợp lý về các quy tắc định vị hộp. (Nếu bạn yêu cầu tôi tạo một trang với bố cục nhất định, tôi thường có thể nghĩ ra cách tiếp cận hộp chính xác và các quy tắc CSS áp dụng.)

Sẽ rất thú vị nếu có một số ngữ nghĩa chính thức cho các quy tắc định vị hộp CSS, nhưng sau khi tìm kiếm trong một thời gian, tôi không thể tìm thấy bất cứ điều gì hữu ích.

Tôi hầu như chỉ kết thúc ở các đặc tả CSS, được định dạng là văn bản dài với thuật toán giả (không phải là vấn đề đọc lớn nhất --- tôi chưa đọc bất kỳ thông số nào trong số này).

Không ai cố chính thức hóa lý thuyết “ ” này thành một số mô hình toán học, nghiêm ngặt hơn so với thông số kỹ thuật cần cung cấp? Tôi không tìm kiếm một cái gì đó hoàn chỉnh hoặc dứt khoát, nhưng nó chắc chắn sẽ gọn gàng (và hữu ích!) Nếu, ít nhất, các hộp cách nên được định vị có thể được mô hình một cách chính thức.

Có ai biết nghiên cứu như vậy không?

Answer 1

Không phải là câu trả lời!Đây là một ví dụ về việc chính thức hoá một trường hợp rất đơn giản (xem bình luận của tôi ở trên).

Say, ví dụ, chúng tôi đang làm việc trong một thế giới có tính năng (1) một màn hình được biết đến rộng , (2) một danh sách có thứ tự các hộp mà không được lồng nhau, không có lề/đệm của/biên giới , được thả nổi trái và trong đó chúng ta biết chiều cao (2.1) và chiều rộng (2.2) của chúng thông qua các hàm toán học và .

Chúng tôi sẽ xác định các chức năng và , trong đó nêu rõ tọa độ của góc trên bên trái của mỗi hộp.

Chúng tôi sẽ xác định/sử dụng các mối quan hệ " bắt đầu xếp hàng " và " có chiều cao ".

Trước hết, bắt đầu xếp hàng 0.

Sau đó, nếu bắt đầu xếp hàng , và hơn nữa nếu chắc chắn

...chúng tôi kết luận rằng:

1. 
2. 
3. có chiều cao
4. bắt đầu xếp hàng 1 iff

Những quy định này xác định vị trí của hộp được đưa ra trong một hình thức cách thức. Nó chỉ là một cách để làm như vậy, tất nhiên, và có lẽ không phải là thông minh nhất (chỉ nghĩ nhanh lên), nhưng nó chính xác hóa cách thức hoạt động của phao (modulo typos, tôi đã không kiểm tra nó quá đủ).

Khi giao dịch với các ngôn ngữ lập trình, người ta có thể chọn nhiều trong số các hình thức này, mỗi hình thức được phát minh cho các mục đích cụ thể (xem wikipedia).

Tôi chỉ quan tâm nếu có ai từng cố gắng đưa ra một số hình thức hóa để định vị hộp CSS. Tất nhiên các thông số kỹ thuật đi một chặng đường dài, nhưng chúng không hoàn toàn nghiêm ngặt như cách toán học buộc bạn phải như vậy.