In diesem ersten Kapitel beschäftigen wir uns mit den Grundlagen, die notwendig sind, um die Inhalte dieses Buches verstehen zu können. Insbesondere wollen wir uns damit beschäftigen, wie wir algorithmische Probleme so aufschreiben können, dass wir sie mit einem Berechnungsmodell bearbeiten können. Für diesen Umgang benötigen wir einen formalen Kalkül, welchen wir in erster Linie über die formalen Sprachen festlegen werden.