Wprowadzenie do teorii obliczeń

Wprowadzenie do teorii obliczeń to najpopularniejszy podręcznik do teorii obliczeń. Dotyczy podstaw informatyki, a w szczególności możliwości obliczeniowych współczesnych komputerów.

• Książka składa się z trzech części.
• Pierwsza jest poświęcona automatom i językom formalnym.

• Druga część dotyczy teorii obliczalności.
• Opisano w niej ograniczenia współczesnych komputerów, wyjaśniono pojęcia rozstrzygalności i nierozstrzygalności.
• Trzecia część jest poświęcona teorii złożoności.

Omówiono w niej niedeterminizm, równoważność automatów deterministycznych i niedeterministycznych, wyrażenia regularne, kryteria nieregularności języków, a także języki bezkontekstowe. Przedstawiono w niej podstawowe klasy złożoności obliczeniowej, klasę problemów NP-zupełnych, a także klasyfikację problemów ze względu na możliwość automatycznego ich rozwiązywania przy ograniczonych zasobach.

• Trzecia edycja zawiera zupełnie nowy podrozdział poświęcony deterministycznym językom bezkontekstowym.
• Została też wzbogacona o nowe ćwiczenia, problemy i przykłady.
• Książka skierowana do studentów informatyki na wszystkich wyższych uczelniach.