Teorija automata
Sa Wikipedije, slobodne enciklopedije
 |
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.
 |
U Wikimedijinom spremniku se nalazi još materijala vezanih uz: |
