algoritmo

Arau formalen multzo finitua (eragiketa logikoak, jarraibideak), sarrerako elementuetatik emaitza bat lortzea ahalbidetzen duena. Multzo hori egikaritze-prozesu automatizatu baten xede izan daiteke, eta ikaskuntza automatikoaren bidez diseinatutako ereduak izan ditzake.