입력 및 현재 상태에 따라 출력 및 다음 상태가 결정되는 논리 회로를 말한다. 마침내 현재의 입력, 과거의 출력 상태 모두에 의해서 출력 논리가 결정된다. 일련의 연산 사이에 정보를 저장할 수 있는 회로가 구성되는 특징이 있으며, 상태도, 상태표, 타이밍도 등에 의해 순차 회로의 동작 묘사가 가능하다.