Obliczenia skokowe: Aktualizacja automatów i gramatyk dla nieciągłego przetwarzania informacji

Oryginalny tytuł:

Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing

Zawartość książki:

Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing jest przede wszystkim teoretycznie zorientowanym traktowaniem automatów skokowych i gramatyk, obejmującym wszystkie istotne tematy teoretyczne ich dotyczące, w tym ich moc, właściwości i transformacje. Z praktycznego punktu widzenia opisuje różne koncepcje, metody, algorytmy, techniki, studia przypadków i zastosowania oparte na tych automatach i gramatykach.

W dzisiejszym skomputeryzowanym świecie rozwój naukowy i badanie obliczeń, określane jako teoria obliczeń, odgrywa kluczową rolę. Jedna z ważnych gałęzi, teoria języka, bada, jak definiować i badać języki i ich modele, które formalizują algorytmy, zgodnie z którymi wykonywane są obliczenia. Modele definiujące języki dzielą się na dwie podstawowe kategorie: automaty, które definiują języki poprzez rozpoznawanie ich słów, oraz gramatyki, które je generują. Reguły te, wprowadzone wiele dekad temu, odzwierciedlają klasyczne obliczenia sekwencyjne. Jednak dzisiejsze metody obliczeniowe często przetwarzają informacje w zasadniczo odmienny sposób, często "przeskakując" nad dużymi porcjami informacji jako całości. Ta książka dostosowuje klasyczne modele do formalizacji i prawidłowego badania tego rodzaju obliczeń. Mówiąc najprościej, podczas procesu definiowania języka, te zaadaptowane wersje, zwane skaczącymi automatami i gramatykami, przeskakują przez słowa, nad którymi pracują.

Książka wybiera ważne modele i podsumowuje kluczowe wyniki na ich temat w zwarty i jednolity sposób. Odnosi każdy model do konkretnej formy współczesnych obliczeń, takich jak obliczenia sekwencyjne, półrównoległe i całkowicie równoległe, oraz wyjaśnia, w jaki sposób dany model prawidłowo odzwierciedla i formalizuje odpowiednią formę obliczeń, umożliwiając nam w ten sposób uzyskanie usystematyzowanego zbioru matematycznie precyzyjnej wiedzy na temat obliczeń skokowych. Książka zwraca szczególną uwagę na moc, właściwości zamknięcia i transformacje, a także opisuje wiele algorytmów, które modyfikują gramatyki skokowe i automaty tak, aby spełniały określone właściwości bez zmiany zdefiniowanego języka. Książka będzie bardzo interesująca dla każdego, kto bada teorię obliczeń w dziedzinie informatyki, matematyki, inżynierii, logiki i językoznawstwa.