Linearno ograničen automat: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
m +ref
+sinonim iz Informatičkog rječnika
Redak 1:
'''Linearno ograničen automat''' (LOA) (još i '''omeđeni stroj'''<ref name="InfoRjecnik">Kiš Miroslav, ''Englesko-hrvatski i hrvatsko-engleski informatički rječnik'', Zagreb, Naklada Ljevak, 2000., str. 563</ref>) je ograničen oblik [[nedeterministički Turingov stroj|nedeterminističkog Turingovog stroja]]. Posjeduje diskretnu traku koja sadrži znakove (simbole) konačne [[abeceda (računarstvo)|abecede]], pomičnu glavu za čitanje i pisanje koja operira vremenski diskretno, te konačan skup stanja. Razlikuje se od Turingovog stroja u tome što, iako se vrpca na početku smatra beskonačne duljine, samo konačni kontinuirani njezin dio čija je duljina linearno proporcionalna duljini početnog ulaznog niza se može čitati/pisati od strane glave za čitanje i pisanje. Ovo ograničenje čini LOA nešto preciznijim modelom stvarnog [[računalo|računala]] nego Turingov stroj.
 
Linearno ograničeni automati prihvaćaju klasu [[kontekstno ovisni jezik|kontekstno ovisnih jezika]]. Jedino ograničenje nad [[gramatika|gramatikom]] takvih jezika jest da ne postoji produkcija koja preslikava niz znakova (string) u kraći niz znakova. Stoga ne postoji produkcija niza znakova u kontekstno ovisnom jeziku koja sadrži rečenični oblik dulji od samog niza. Budući da postoji bijektivna korespondencija između linearno ograničenog automata i takvih gramatika, nije potrebno više vrpce nego što zauzima početni niz znakova da bi sam niz znakova bio prepoznat od strane linearno ograničenog automata.
 
== Reference ==
 
<references/>
 
*{{cite book
| author = Siniša Srbljić