컴퓨터 과학을 만나다 보면 종종 오토마타라는 단어를 종종 접하게 되는데요. 오늘은 오토마타가 무엇인지 알아 보려고 합니다. 오토마타란 오토머튼(automaton)의 복수형으로, 사람이 지속적으로 조정하지 않아도 스스로 움직이는 자동 로봇을 뜻하는 말로 쓰이고 있습니다. 위키백과에 따르면 "오토마타는 적어도 유한한 상태를 갖고, 입력을 받아 입력에 따라 일정하게 상태를 전이하며, 출력을 내놓는다" 라고 정의하고 있습니다. 컴퓨터 과학의 문제를 풀다 보면 위와 비슷한 그림을 종종 보게 되는데요. 위의 문제는 결정적 유한 오토마타의 예이며 S1, S2는 상태이고, 1과 0은 기계가 입력으로 받아들이는 문자이다. 이 기계는 1과 0으로 이루어진 모든 가능한 문자열 중 0이 짝수 개인 것을 인지하고, 그렇지 않은..