자동장치 조건부 강화학습(Automata-conditioned RL)은 실행 시점에 주어지는 시간적으로 확장된 목표를 수행할 수 있는 다중 작업 정책 학습에 유망한 결과를 제시했지만, 이전에는 이론적 보장이 없었습니다. 본 연구는 자동장치 조건부 강화학습 문제에 대한 이론적 틀을 제공하고, 이것이 PAC(Probably Approximately Correct) 학습 가능함을 보여줍니다. 그리고 최적의 다중 작업 정책 학습을 보장하는, 증명 가능하게 정확한 자동장치 임베딩 학습 기법을 제시합니다. 실험적 평가는 이러한 이론적 결과를 확인합니다.