명세서는 플로워차트 말고 간략작성은 안되나요?

동일 시점에 조회된 Queue 집합 S 안에서,

동일 유저에 대한 작업 f가 여러 번 존재하더라도

최종 상태는 f(x)로 동일하다.

즉, S 안에서 f가 몇 번 반복되든 fⁿ(x) = f(x)이다.

시점 t_0 에서 조회한 큐 집합 S 안에
동일 유저에 대한 작업 f 가 k번 존재한다고 하자.

이때, 이 유저에 대해 실제로 적용되는 연산은:

f^k(x)

하지만 f 는 멱등적이므로:

f^k(x)=f(x)

따라서, 동일 시점에 조회된 큐 집합 S 에 대해서는:

\forall k\in \mathbb{N},\quad f^k(x)=f(x)

큐에 동일 유저 작업이 1번 들어오든 10번 들어오든,
시점 t_0 에서의 최종 상태는 항상 f(x) 로 동일하다.

이상한 플로워차트보다 이런걸로는 왜 안할까요?궁금하네요;