불완전하게 지정된 연속 스위칭 함수에서 상태 수 최소화

일부 항목이 지정되지 않은 흐름 표 형태의 연속 스위칭 함수가 주어졌을 때, 해당 흐름 표의 행 수를 줄이는 문제는 매우 복잡하며, 일반적으로 완전히 지정된 함수에 사용되는 방법을 단순히 확장하여 해결할 수 없습니다. 문제 분석이 제시되고, 부분적으로 열거적인 해결책이 개발되었습니다. 주어진 절차의 효율성에 대한 대략적인 지표는 이러한 기술이 약 15행에 이르는 약 두 다스의 테이블에 성공적으로 적용된 사실에서 얻을 수 있습니다. 어떤 해결책도 두 시간이 넘지 않았습니다.