Príručka matematických modelov pre jazyky a výpočty

Pôvodný názov:

Handbook of Mathematical Models for Languages and Computation

Obsah knihy:

Teória výpočtovej techniky sa využíva na riešenie problémov v mnohých oblastiach informatiky, ako je umelá inteligencia, jazykové procesory, tvorba kompilátorov, informačné a kódovacie systémy, návrh programovacích jazykov, architektúra počítačov a ďalšie. Na pochopenie tém týkajúcich sa tejto teórie sa čitatelia musia oboznámiť s jej výpočtovými a jazykovými modelmi, ktoré sú založené na pojmoch diskrétnej matematiky vrátane množín, vzťahov, funkcií, grafov a logiky.

Táto príručka dôsledne predstavuje dôležité pojmy tohto druhu a pomocou nich pokrýva najdôležitejšie matematické modely pre jazyky a výpočty, ako sú rôzne klasické, ako aj moderné automaty a gramatiky. Vysvetľuje ich použitie v takých zásadne významných témach teórie výpočtovej techniky, ako sú vypočítateľnosť, rozhodnuteľnosť a výpočtová zložitosť.

Autori venujú osobitnú pozornosť implementácii všetkých týchto matematických konceptov a modelov a prehľadne vysvetľujú, ako ich zakódovať vo výpočtovej praxi. Všetky počítačové programy sú napísané v jazyku C#.