Autòmat linealment acotat: diferència entre les revisions
Contingut suprimit Contingut afegit
m Bot: Traient 14 enllaços interwiki, ara proporcionats per Wikidata a d:Q1149323 |
m →Components: desambiguació |
||
Línia 67:
Els autòmats linealment acotats es van desenvolupar per modelar processos computacionals, són importants en la teoria de còmput encara que d'ells no han sorgit tantes aplicacions comparat a la magnitud que els autòmats de pila gaudeixen.
Les [[ordinador]]s són dispositius finits. Elles no tenen quantitats inacabables d'emmagatzematge com les màquines de Turing. Així qualsevol [[Càlcul numèric|càlcul]] real fet en un ordinador no és tan extens com el que podria completar-se en una màquina de Turing. Per imitar les computadores, s'ha de restringir la capacitat de l'emmagatzematge de les màquines de Turing.
Un autòmat linealment acotat (ALA) és una màquina de Turing multi-adreces que té només una cinta, i aquesta cinta és exactament de la mateixa longitud de la d'entrada. Per establir els límits de la cinta s'empren els símbols # a l'esquerra i $ a la dreta, els quals no permeten a la màquina anar més enllà d'ells.
| |||