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).
Ako se pravilno ne potkrijepe validnim izvorima, sporne rečenice i navodi mogli bi biti obrisani. 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: