Autómata computacional

Un autómata computacional es un ente artificial, de carácter abstracto y simbólico, aunque pueda materializarse físicamente a través de la ingeniería informática, que es capaz de actuar o efectuar transiciones de un estado de otro, a partir de inputs o entradas de información para finalmente generar outputs o salidas, según un algoritmo previo para el que ha sido programado. Frente a un programa informático común, en los que generalmente hay una entrada, unas instrucciones respecto a aquellas y una salida, el proceso realizado por el autómata es más complejo y posee ciertos elementos de agentividad inducida, en el sentido de que este puede transicionar de un estado a otro, adaptándose  a la entrada que ha recibido y al resultado final obtenido, para ejecutar diferentes tipos de acciones en base a los objeitovs que se le han fijado.