Teorija automata

Sa Wikipedije, slobodne enciklopedije
Idi na: navigacija, traži
Question book-new.svg Ovaj članak ili neka od njegovih sekcija nije dovoljno potkrijepljena izvorima (literatura, web stranice ili drugi izvori).
Sporne rečenice i navodi bi mogli, ukoliko se pravilno ne označe validnim izvorima, biti obrisani i uklonjeni. Pomozite Wikipediji tako što ćete navesti validne izvore putem referenci, te nakon toga možete ukloniti ovaj šablon.

Teorija automata je dio teoretske informatike, čiji je zadatak proučavanje automata i problema, kojim se takvi automati bave.

Ova teorija je važna alatka u teorijama proračuna i kompleksiteta. Praktično se upotrebaljava kod izrade programskih prevodilaca (engl.: compiler) kao što su leksikalni skener (leksera) i parser.


Teorija automata se bavi formalnim jezicima i formalnom grammatikom, koja se između ostalog tipizuje kroz Chomsky-hirarhiju, i sa modelima Automata, koji takve jezike mogu obrađivati, naročito konačni automati, podrumski-automati ili Turingove mašine.


Commons logo
U Wikimedijinom spremniku se nalazi još materijala vezanih uz: