0
A
답변
1
FGp는 후속 세트의 전체 집합이 p 인 상태 (적어도 하나)가 있음을 의미합니다. 따라서 프로세스가 진행되는 시점이 있습니다.
여기서 Fp는 P가 마지막으로 보유 할 것임을 의미합니다 (후속 경로의 어딘가에 있음). 및 Gp는 p가 현재 노드의 모든 후속 노드에서 발생 함을 의미합니다.
관련 문제
- 1. Z3py는 선형 시간 논리 LTL을 지원합니까?
- 2. 부울 논리 선형 보간에서
- 3. 프로그래밍 논리 질문
- 4. <논리 : 질문 반복
- 5. Objective-C : 논리 질문
- 6. 부울 논리 질문
- 7. JavaScript RemoveChild 논리/질문
- 8. SQL 서버 - 논리 질문
- 9. 선형 코딩 질문
- 10. 근무 시간 추적을위한 논리
- 11. 선형 시간 감소가 대칭입니까?
- 12. 변수를 비교하는 간단한 논리 질문
- 13. 선형 시간 일반 구문 분석기
- 14. 2D 선형 피크 시간 찾기
- 15. 이미 선형 시간 알고리즘 병렬화
- 16. 설계 및 선형 시간 알고리즘을
- 17. 하스켈 선형 시간 온라인 알고리즘
- 18. 자바 시간 질문
- 19. html5 시간 요소 질문
- 20. 백업 시간 단축 질문
- 21. 소셜 웹 사이트의 사용자 세션 - 논리 질문
- 22. 논리 질문 (범용 및 실존 정량화)
- 23. 득점 논리 '예' '아니오'퀴즈에서 대답하는 질문
- 24. Android 질문 : 중첩 선형 레이아웃/R.Java 문제?
- 25. UML 2.0 시퀀스 다이어그램에서 선형 시간 논리 스펙을 얻으려는 도구가 필요합니다.
- 26. 두 시간 간격 사이의 시간 차이 계산 - 논리 문제
- 27. 단위 테스트 Java의 시간 기반 논리
- 28. 논리 연산자의 실행 시간 대 부울 연산
- 29. 초와 분으로 시간 값을 표시하는 논리
- 30. 해시 콜리 전 선형 검사 실행 시간
나는 LTL이 가능성의 개념을 표현할 수 있다고 생각하지 않는다. – hcs