where, Fk is the number of states o

where, Fk is the number of states of configuration k and K the total number of functions
in the protocol graph. The automated process must therefore consider N combinations of
requirements, conditions and configurations, which is defined as:

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

ở đâu, Fk laø soá löôïng bang cấu hình k và K Tổng số chức năngtrong đồ thị giao thức. Quá trình tự động do đó phải xem xét kết hợp Nyêu cầu, điều kiện và cấu hình, được định nghĩa là:

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

nơi, Fk là số các trạng thái của cấu hình k và K tổng số chức năng
trong đồ thị giao thức. Vì vậy quá trình tự động phải xem xét N kết hợp của
các yêu cầu, điều kiện và cấu hình, được định nghĩa là: