Teoria języków formalnych, automatów i gramatyk weszła na stałe do kanonów programowych studiów informatycznych, zarówno uniwersyteckich, jak i technicznych. Będąc jedną z podstawowych dziedzin informatyki teoretycznej o silnych związkach z teorią obliczeń czy teorią rozstrzygalności, znajduje równocześnie szerokie i istotne zastosowania w problemach praktycznych z takich dziedzin, jak: przetwarzanie tekstu, kodowanie, budowa kompilatorów czy testowanie i weryfikacja oprogramowania.
Wśród akademickich podręczników poświęconych teorii języków, gramatyk i automatów trudno znaleźć książkę zawierającą zadania i problemy obliczeniowe ilustrujące tę dziedzinę informatyki. Fakt, że klasyczna już dzisiaj teoria stanowi niewątpliwie kanon wykształcenia każdego informatyka, sprawia, iż brak ten jest szczególnie łatwo zauważalny.
Niniejszy zbiór zadań jest próbą wypełnienia owej luki. Przeznaczony został dla studentów kierunków informatycznych i matematycznych uniwersytetów oraz uczelni technicznych, a także jako pomoc dydaktyczna dla pracowników naukowych zajmujących się informatyką, matematyką, automatyką i lingwistyką matematyczną.
Informacja dotycząca wprowadzenia produktu do obrotu:
Ten produkt został wprowadzony na rynek przed 13 grudnia 2024 r. zgodnie z obowiązującymi wówczas przepisami (Dyrektywą o ogólnym bezpieczeństwie produktów). W związku z tym może on być nadal sprzedawany bez konieczności dostosowania do nowych wymogów wynikających z Rozporządzenia o Ogólnym Bezpieczeństwie Produktów (GPSR). Produkt zachowuje pełną legalność w obrocie, a jego jakość i bezpieczeństwo pozostają zgodne z obowiązującymi wcześniej standardami.
Information regarding product placement on the market:
This product was placed on the market before December 13, 2024, in accordance with the applicable regulations at the time (the General Product Safety Directive). As a result, it can continue to be sold without needing to meet the new requirements introduced by the General Product Safety Regulation (GPSR). The product remains fully compliant with all previously valid legal standards, ensuring its continued quality and safety.