완전 도달 가능성과 2차 도달 임계값을 결정하는 다항식 알고리즘

완전 도달 가능한 자동화 기계의 복잡도를 결정하는 다항식 시간 알고리즘을 제시하고, 이 클래스에 대한 2차 상한 경계를 증명한다.