Википедија

Коначан аутомат — разлика између измена

Интерактиван преглед историје
← Старија изменаНовија измена →
Садржај обрисан Садржај додат
ВизуелноВикитекст
Нема описа измене
slovne greske
Ред 3:
Елемент релације прелаза &Delta; се назива ''лук''. Ако је лук l=(p,a,q) &isin; &Delta;, онда је слово a &isin; &Delta; '''''етикета''''' тог лука.<ref name="automatski generisano2">Душко М. Витас, Преводиоци и интерпретатори, Математички факултет, Београд, 2006.</ref>
 
Под '''''израчунавањем''''' c дужине n у аутиматуаутомату А подразумева се низ лукова l<sub>1</sub>,...,l<sub>n</sub>, где l<sub>i</sub> = (p<sub>i</sub>,a<sub>i</sub>,q<sub>i</sub>) &isin; &Delta;, тако да је q<sub>i</sub> = p<sub>i+1</sub> за i &isin; [1,n-1] &sub; N. Под '''''етикетом''''' израчунавања c, у ознаци ||c|| се подразумева ниска a<sub>1</sub>...a<sub>n</sub> састављена од етикета лукова израчунавања c. Ако је ниска w=||c|| етикета израчунавања c, онда се то записује на следећи начин:
c: p<sub>1</sub> &rarr; q<sub>n</sub>.<ref name="automatski generisano2" />
За свако стање q, постоји, по договору, празно израчунавање у ознаци &epsilon;<sub>q</sub> : q &rarr; q чија је етикета &epsilon; (тј. празна реч као етикета).<ref name="automatski generisano2" />
 
За израчунавање c:p &rarr; q се каже да је ''успешно'' ако важи да је p &isin; I и q &isin: F. За реч w се каже да је ''препозната'' (''прихваћена'') аутоматом А ако је та реч етикета неког успешног израчунавања. '''''Језик препознат (прихваћен) аутоматом А''''' је скуп свих речи препознатих аутоматом А:
Преузето из „https://sr.wikipedia.org/wiki/Коначан_аутомат”