Automata: Theory, Trends, and Applications
Książka zawiera dogłębną analizę klasycznej teorii automatów, w tym automatów skończonych, automatów wypychanych i maszyn Turinga.
Obejmuje również aktualne trendy w teorii automatów, takie jak automaty skokowe, głębokie wypychanie i automaty regulowane. Książka zachowuje równowagę między teoretycznym i praktycznym podejściem do tematu, prezentując wiele rzeczywistych zastosowań automatów w różnych dziedzinach nauki, od przetwarzania języka programowania, poprzez analizę składni języka naturalnego, aż po muzykologię obliczeniową.
W Automata: Theories, Trends and Applications wszystkie formalizmy dotyczące automatów są rygorystycznie wprowadzone, a każdy skomplikowany fragment matematyczny jest poprzedzony intuicyjnym wyjaśnieniem, dzięki czemu nawet złożone części książki są łatwe do zrozumienia. Książka pokazuje również, w jaki sposób automaty leżą u podstaw kilku technik inżynierii komputerowej. Ta monografia jest przydatnym źródłem informacji dla naukowców zajmujących się informatyką teoretyczną, matematyką obliczeniową, lingwistyką obliczeniową i pisaniem kompilatorów.
Może być również wykorzystywana jako wymagany tekst na zajęciach dotyczących teorii i zastosowań automatów oraz teorii obliczeń na poziomie magisterskim. Książka ta zawiera dostęp do strony internetowej, która zawiera materiały uzupełniające, takie jak ćwiczenia z rozwiązaniami, dodatkowe studia przypadków, wykłady do pobrania, wskazówki dla instruktorów i wiele innych.
