📘 Theory of Automata – (2025–2026 útgáfa)
📚 Theory of Automata (2025–2026 útgáfa) er yfirgripsmikil kennslubók sem byggir á kennsluáætlun sem er hönnuð fyrir nemendur í BSCS, BSIT og hugbúnaðarverkfræði sem og sjálfsnema sem vilja ná tökum á stærðfræðilegum grunni reikni- og formlegrar tungumálafræði.
Þessi útgáfa brúar fræðilegan grunn og hagnýt innsýn, með ítarlegum útskýringum, dæmum, MCQs og skyndiprófum. Nemendur munu þróa hæfni til að reikna útreikninga, hanna sjálfvirka og greina stigveldi tungumála - nauðsynlegt fyrir svið eins og þýðandahönnun, gervigreind og reikniritfræði.
Bókin býður upp á skipulagt ferðalag frá endanlegum sjálfvirkum og venjulegum tungumálum til Turing véla, reiknihæfni og stigveldi Chomskys, sem tryggir bæði huglægan skýrleika og dýpt notkunar.
📂 Kaflar og efni
🔹 Kafli 1: Inngangur að sjálfvirkum og formlegum tungumálum
-Mikilvægi sjálfvirknikenningarinnar
-Stærðfræðilegar forkeppnir (mengi, föll, tengsl, graf)
-Stafróf, strengir og tungumál
-Tungumálaflokkun og aðgerðir
🔹 Kafli 2: Venjuleg tungumál og endanlegur sjálfvirkur
-Deterministic Finite Automata (DFA)
-Non-deterministic Finite Automata (NFA)
- Jafngildi DFA og NFA
-Regluleg tjáning og algebrulög
-Umskipti á milli DFA, NFA og venjulegra tjáninga
-Transition Graphs og Kleene's Theorem
-Umsóknir venjulegra tungumála
🔹 Kafli 3: Eiginleikar og takmarkanir venjulegra tungumála
-Dæla Lemma fyrir venjuleg tungumál
-Óvenjuleg tungumál
-Lokunar- og ákvörðunareiginleikar
-Transducers (Endanlegur sjálfvirkur með úttak)
-Moore og Mealy vélar
🔹 Kafli 4: Samhengislaus málfræði og Pushdown Automata
-Context-Free Málfræði (CFGs) og afleiður
-Tvíræðni og málfræðieinföldun
- Venjuleg form (CNF, GNF)
-Pushdown Automata (PDA) og samþykkisaðferðir
- Jafngildi CFG og PDA
🔹 Kafli 5: Samhengislaus tungumál (CFL)
-Eiginleikar CFL
-Dæla Lemma fyrir CFL
-Lokunar- og ákvörðunareiginleikar
🔹 Kafli 6: Turing vélar og afbrigði þeirra
-Turing vélarlíkan og útreikningar
-Tungumálaþekking frá TM
-Multi-Tape og Non-Deterministic Turing vélar
-Alhliða Turing vél
-TM kóðun og jafngildi afbrigða
🔹 Kafli 7: Reiknanleiki og ákvarðanleiki
-Ákveðin og óráðanleg vandamál
-Stöðvunarvandamálið
-Post Correspondence Problem (PCP)
- Endurkvæm og endurkvæm tungumál
-Fækkun og notkun þess
🔹 Kafli 8: Chomsky stigveldi
-Type-0 til Type-3 Tungumál (RE, CS, CF, venjulegur)
-Málfræðistigveldi og tengsl
-Umsóknir Chomsky stigveldisins
🌟 Af hverju að velja þessa bók/app?
✅ Heill námsáætlun með fræðilegri innsýn
✅ MCQs, skyndipróf og dæmi til að styrkja hugmyndina
✅ Jafnvæg áhersla á stærðfræðilega stífni og reikniinnsæi
✅ Hjálpar nemendum að undirbúa sig fyrir próf, verkefni og rannsóknarstofnanir
✅ Tilvalið fyrir alla sem kanna sjálfvirka, formleg tungumál og reiknihæfni
✍ Þetta app er innblásið af höfundum:
John E. Hopcroft, Jeffrey D. Ullman, Rajeev Motwani, Michael Sipser
📥 Sæktu núna!
Náðu tökum á grunni útreikninga með Theory of Automata (2025–2026 Edition) – heildarleiðbeiningar þínar um sjálfvirka, formleg tungumál og tölvanleika.