Izvor: Wikipedia. Stranice: 78. Poglavlja: Formalni jezici, Lambda ra un, Ra unska teorija slo enosti, Semantika, Teorija ra unanja, Definicija, Crveno-crno stablo, Regularni izraz, Kombinatorna logika, Teorija izra unljivosti, Formalna gramatika, L-sustav, Kontekstno neovisna gramatika, Algoritam, Backus-Naurov oblik, Klasa slo enosti, Chomskyjeva hijerarhija, Pove ani Backus-Naurov oblik, SKI kombinatorni ra un, Pojednostavljenje gramatike, Formalni jezik, Pro ireni Backus-Naurov oblik, Pseudonim, Lijeva rekurzija, Svojstvo napuhavanja za regularne jezike, Stohasti ka kontekstno neovisna gramatika, Stroj koji uvijek staje, Kontekstno ovisna gramatika, Regularni jezik, Apstraktni stroj, Turingov stroj, Tipizirani lambda ra un, Gramatika neograni enih produkcija, B-stablo, Chomskyjev normalni oblik, Nejednozna na gramatika, Formalna semantika programskih jezika, Kvantno ra unalo, Svojstvo napuhavanja za kontekstno neovisne jezike, Rekurzivno prebrojiv jezik, Regularna gramatika, Semi-Thue sustav, Problem zaustavljanja, Kleeneov operator, Funkcijski problem, Rekurzivni jezik, Kontekstno neovisni jezik, Umjetni ivot, Ra unanje, Kontekstno ovisni jezik, Popis neodlu ivih problema, Myhill-Nerode teorem, Apstraktno sintaksno stablo, Denotacijska semantika, Oksimoron, Zavr ni i nezavr ni znakovi, Ra unski problem, Church-Turingova teza, Problem odluke, Prirodni jezik, Deterministi ki kontekstno neovisni jezik, Van Wijngaardenova gramatika, Indeksirani jezik, Teorija informacije, Operacijska semantika, Deterministi ka kontekstno neovisna gramatika, Dvorazinska gramatika, Montague gramatika, Ogdenova lema, Prepisivanje stringa, Vrijeme ra unanja, Greibachov normalni oblik, Aksiomatska semantika, Church-Rosserov teorem, Metonimija, Ra unski resurs, Model ra unanja, Entscheidungsproblem, Hiponim, Prefiksna gramatika, Ra unski model, Pleonazam, Prazni niz znakova, Sustav F, Apstraktni semanti ki graf, Hiperonim, Holonim, Kurodin normalni oblik, Metaznak, Diskurs, Te inska...