오토마톤(Automaton)은 기계나 장치가 특정한 논리적 규칙이나 알고리즘에 따라서 자동으로 작업을 수행하거나 행동을 나타내는 기계적 또는 전자적인 장비를 의미한다. 일반적으로 오토마톤은 입력에 따라 특정한 출력을 생성하며, 주로 계산, 시뮬레이션, 제어 등의 분야에서 사용된다.

오토마톤의 개념은 컴퓨터 과학과 수학에서 주로 다뤄지며, 특정한 상태 간의 전이를 기반으로 동작하는 수학적 모델을 포함한다. 이러한 모델은 주로 유한 상태 기계(Finite State Machine, FSM)나 스택 오토마톤(Stack Automaton)과 같은 다양한 형태를 가진다. 각 상태는 입력에 의해 변경되며, 이 과정을 통해 복잡한 작업을 수행하거나 데이터를 처리할 수 있다.

역사적으로 오토마톤은 고대 그리스와 로마 시대부터 존재해왔으며, 당시에는 주로 기계적인 장치로 만들어졌다. 예를 들어, 고대의 오토마톤은 물체를 움직이거나 소리를 내는 기능을 가진 장난감 형태로 존재했다. 이러한 기계들은 기계적 작동 원리에 따라 작동하며, 자동으로 반복적인 작업을 수행하는 데 사용되었다.

현대에는 컴퓨터 프로그램이나 알고리즘, 로봇 공학 등 다양한 분야에서 오토마톤의 개념이 활용되고 있다. 특히, 오토마톤 이론은 컴퓨터 과학의 기초 이론 중 하나로 여겨지며, 계산 가능성 및 복잡도 이론 등 여러 중요 개념을 포함하고 있다.