Spongy-Bone
发表于 2025-3-30 10:28:50
https://doi.org/10.1057/9780230523869ollen 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. Eine formale Beschreib