Samouczek teorii automatów

Automata Theoryto dziedzina informatyki zajmująca się projektowaniem abstrakcyjnych, samobieżnych urządzeń obliczeniowych, które automatycznie wykonują określoną sekwencję operacji. Automat ze skończoną liczbą stanów nazywany jest aFinite Automaton. Jest to krótki i zwięzły samouczek, który wprowadza podstawowe pojęcia automatów skończonych, języków regularnych i automatów przesuwających przed przejściem do maszyn Turinga i rozstrzygalności.

Ten samouczek został przygotowany dla studentów kończących studia w dowolnej dziedzinie związanej z informatyką lub informatyką. Próbuje pomóc studentom zrozumieć podstawowe pojęcia związane z teorią automatów.

Ten samouczek ma dobrą równowagę między teorią a rygorem matematycznym. Czytelnicy powinni posiadać podstawową wiedzę na temat dyskretnych struktur matematycznych.