Ebook Wprowadzenie do teorii obliczeń — Michael Sipser

Opis

Wprowadzenie do teorii obliczeńSzczegółyAutor: Michael SipserTłumaczenie: Marek WłodarzWydawnictwo: Wydawnictwo Naukowe PWNEAN: 9788301210991ISBN: 978-83-01-21099-1ISBN wydania papierowego: 978-83-01-20926-1Rok wydania: 2020Miejsce wydania: WarszawaWydanie: 1Język: polskiLiczba stron: 500Formaty plików: EPUB, MOBIRozmiar pliku: EPUB: 3,4 MB · MOBI: 9,3 MBZabezpieczenie: Znak wodny (watermark)Słowa kluczowe: złożoność obliczeniowa, teoria obliczeń, teoria obliczalności, automaty skończone, teoria złożoności, automaty i języki, języki regularne, języki nieregularne, języki bezkontekstowe, gramatyki bezkontekstowe, hipoteza Churcha-Turinga, maszyna Turinga, języki rozstrzygalne, teoria językówWprowadzenie 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. 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. 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. 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.