Wprowadzenie do teorii obliczeń

Podręcznik do teorii obliczeń skierowany do studentów informatyki na wszystkich wyższych uczelniach. Dotyczy podstaw informatyki, a w szczególności możliwości obliczeniowych współczesnych komputerów. Składa się z trzech części. Pierwsza 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…

  • Autor: Michael Sipser
  • Ilość stron: 480
  • Autor tłumaczenia: Marek Włodarz
  • Wydawnictwo: PWN
  • Numer ISBN: 978-83-01-20926-1
  • Data wydania: 2020-02-21

Podręcznik do teorii obliczeń skierowany do studentów informatyki na wszystkich wyższych uczelniach. Dotyczy podstaw informatyki, a w szczególności możliwości obliczeniowych współczesnych komputerów. Składa się z trzech części. Pierwsza 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, a także deterministycznym językom bezkontekstowym.

Oceny czytelników

Ta publikacja nie ma jeszcze ocen.

Dodaj pierwszą recenzję “Wprowadzenie do teorii obliczeń”

Twój adres e-mail nie zostanie opublikowany. Wymagane pola są oznaczone *