Jaka jest składnia abstrakcyjna?
Składnia abstrakcyjna jest sposobem dla programistów komputerowych na mapowanie struktury programu, który chcą stworzyć, bez martwienia się o faktyczny kod potrzebny do jego wdrożenia. Pozwala programiście skoncentrować się na tym, co program musi zrobić, zanim skupi się na tym, jak sprawić, by komputer faktycznie wykonał pożądane funkcje. Abstrakcyjna składnia określa konkretne zadania programu, takie jak dodawanie dwóch liczb razem, i pokazuje, jakie typy danych można wykorzystać w tym programie. Po zakończeniu mapowania abstrakcyjnego rysowane jest abstrakcyjne drzewo składniowe, które łączy abstrakcyjne pojęcia z konkretną składnią - rzeczywistymi symbolami, które programista musi wpisać, aby uruchomić program, który tworzy.
Ideą składni abstrakcyjnej jest skupienie się na typach danych i ich relacjach, bez zajmowania się szczegółami ich kodowania. Kod komputerowy różni się znacznie od języka ludzkiego, a próba myślenia w tych kategoriach jest trudna. Zamiast tego programiści sporządzają listę kroków, które program musi wykonać, a następnie używają konkretnej składni, aby dopasować abstrakcyjne terminy do terminów kodu komputerowego, które wykonują te kroki. Często programiści uwzględniają typy danych w swoim abstrakcyjnym znaczniku, aby pokazać, jakie typy danych - cyfry, litery lub dziesiętne - program może obsługiwać. Na tym etapie programowania nie są jednak wymagane określone typy danych, a programista może zdecydować się na użycie abstrakcyjnych typów danych, które są czysto teoretyczne i zostaną zastąpione określonymi typami danych podczas pisania programu.
Tego rodzaju abstrakcyjna idea programowania jest często stosowana w teorii kompilatorów. Komputery mogą zrozumieć tylko dwie wartości: 1s i 0s. Jest to znane jako kod binarny. Aby komputer zrozumiał program napisany w języku programowania, musi skompilować lub przetłumaczyć słowa i litery na strumień 1 i 0. Kompilatory są skomplikowane w tworzeniu i mapowaniu niejasnych lub abstrakcyjnych pomysłów na to, co muszą zrobić, pomagając programistom zaplanować wolny od błędów kod.
Gdy programista chce zmapować składnię abstrakcyjną na konkretną i rozpocząć kodowanie programu lub kompilatora, tworzy abstrakcyjne drzewo składni. Jest to po prostu lista wszystkich abstrakcyjnych instrukcji, które napisała, takich jak „dodaj 2 zmienne”, wraz z linią wyciągniętą z każdego abstrakcyjnego terminu do określonego wiersza kodu potrzebnego do wykonania tej instrukcji. Programiści mogą używać dowolnych abstrakcyjnych terminów, które chcą, ale bardziej powszechne jest stosowanie dobrze znanych terminów kodowych, takich jak „var” dla zmiennej i „int” dla liczby całkowitej.