Handbook of Mathematical Models for Languages and Computation
Teoria obliczeń jest wykorzystywana do podejmowania wyzwań pojawiających się w wielu dziedzinach informatyki, takich jak sztuczna inteligencja, procesory językowe, pisanie kompilatorów, systemy informacyjne i kodujące, projektowanie języków programowania, architektura komputerów i wiele innych. Aby zrozumieć tematy dotyczące tej teorii, czytelnicy muszą zapoznać się z jej modelami obliczeniowymi i językowymi, opartymi na pojęciach matematyki dyskretnej, w tym zbiorach, relacjach, funkcjach, grafach i logice.
Niniejszy podręcznik wprowadza rygorystycznie ważne koncepcje tego rodzaju i wykorzystuje je do omówienia najważniejszych modeli matematycznych dla języków i obliczeń, takich jak różne klasyczne i nowoczesne automaty i gramatyki. Wyjaśnia ich zastosowanie w tak istotnych tematach teorii obliczeń, jak obliczalność, rozstrzygalność i złożoność obliczeniowa.
Autorzy zwracają szczególną uwagę na implementację wszystkich tych pojęć i modeli matematycznych oraz jasno wyjaśniają, jak zakodować je w praktyce obliczeniowej. Wszystkie programy komputerowe są napisane w języku C#.
