Finding cycles Cycles in the PDG in

Finding cycles Cycles in the PDG indicate that some rules and relations are recursively
defined, requiring iterative application of rules within the cycles to reach a fixed-point
solution. The PDG for each stratum is split into strongly connected components (SCCs).
We can compute the result for a stratum by evaluating strongly connected components
and non-cyclic relations in the topological order of the PDG.

Kết quả (Việt) 1:

Tìm chu kỳ chu kỳ trong PDG chỉ ra rằng một số quy tắc và các mối quan hệ là đệ quydefined, đòi hỏi phải ứng dụng lặp đi lặp lại của các quy tắc trong các chu kỳ để đạt được fixed điểmgiải pháp. PDG cho mỗi lớp được chia thành kết nối mạnh mẽ các thành phần (SCCs).Chúng tôi có thể tính toán kết quả cho một địa tầng bằng cách đánh giá thành phần kết nối mạnh mẽkhông nhóm cyclic quan hệ và để PDG, tô pô.

Kết quả (Việt) 2:

Tìm chu kỳ chu kỳ trong PDG chỉ ra rằng một số quy tắc và mối quan hệ là đệ quy
de fi định nghĩa, đòi hỏi phải áp dụng lặp đi lặp lại các quy tắc trong chu kỳ để đạt được một cổ định điểm
giải pháp. Các PDG cho mỗi tầng được chia thành các thành phần kết nối mạnh mẽ (SCCS).
Chúng tôi có thể tính toán kết quả cho một tầng lớp bằng cách đánh giá thành phần kết nối mạnh mẽ
và quan hệ không tuần hoàn trong thứ tự tôpô của PDG.