Un robot es una máquina electrónica programable que imita los movimientos de un ser animado y controla procesos secuenciales en tiempo real en ambientes industriales. La teoría de autómatas estudia matemáticamente máquinas abstractas como autómatas finitos y con pila.