Co do języków formalnych można przypisać? Przykłady zastosowania

Jaki jest język formalny i czym różni się od naturalnego? Jak został on utworzony? Co do języków formalnych można przypisać? I jest używany w odniesieniu do niego?

Charakterystyka języków formalnych

Tak nazywamy grupę języków sztucznych, które charakteryzują się precyzyjnych przepisów dotyczących budowy wyrażeń, a także ich zrozumienia. Systemy wykorzystywane do celów przemysłowych mogą być przypisane do języków formalnych. Są one zbudowane zgodnie z jasnymi zasadami, zapewnienie spójnej, zwartej i precyzyjne wyświetlanie właściwości i stosunków badanego obszaru tematycznego lub modelowanych przedmiotów. Wartość i znaczenie znaków nie mogą być zmieniane za pomocą wszelkich pragmatycznych cech (wykorzystanie kontekstu). Jest to możliwe dzięki obecności w oficjalnym języku reguł konwersji składni i interpretacji semantycznej. Często są one zbudowane przy użyciu jako podstawy matematyki. Ze względu na fakt, że na całej rozpiętości rozwoju, stosować różne nazw symbolicznych zostały zastosowane do różnych pojęć i przedmiotów. To, co musi języków formalnych. mogą znacznie zmniejszyć danych. Wcześniej, wraz z języków formalnych i naturalnych zostały wykorzystane, ale ze stopniowym powikłanie przedmiotu oraz konieczności dokonania ścisłego logiczną analizę rozumowanie matematyczne, zdecydowano się porzucić przeszłość. Proces ten trwa od XVII do XX wieku. Jest to ostatni wiek uważany jest za najbardziej owocny pod względem języków formalnych. różne oddziały specjalne zostały stworzone. Tak więc, na informatyce mają szczególne znaczenie języków programowania i algebry logiki, a nie tylko teoretyczne, ale również z praktycznego punktu widzenia.

definicja

Co do języków formalnych można przypisać mamy już pokrótce wyjaśnił. Ale co możemy powiedzieć o nich? Formalny język podano wiele różnych definicji. Do nich należy wymienić wszystkich, to zostawić dużo czasu, więc przyjrzeć się najbardziej popularne:

1. Prosta lista słów w języku – zazwyczaj tak powiedzieć w odniesieniu do ostatecznego typu konstrukcji oraz o tych, które mają prostą strukturę.
2. Słowa generowane przez pewien gramatyki formalne.
3. Konstrukcja stworzona przez wyrażeń regularnych.
4. Słowa generowane przez BPF projektowania.
5. Struktura, rozpoznawalny przez automat skończony.

Spójrzmy na przykład. Powiedzmy, że mamy cały alfabet, podane dwa numery 1 i 0. Aby wyświetlić literę „O”, używamy kombinacji 1010001. Jest to użycie języka formalnego. Możliwe jest również użycie pustych słów (jeśli łańcuch ma długość zerową, i nie ma nic) ze specjalnym oznaczeniem w postaci znanej nam. Ale w sposób bardziej szczegółowy, aby zrozumieć, co jest formalnym językiem, pomaga 4 przykłady, które zostaną podane obok. Co to robi? Do zrozumienia czytającego, że formalny język można przypisać. Ale trochę więcej o tym, jak są one tworzone.

Budowa języków formalnych

Każdy język jest formalna struktura, która została stworzona raz ktoś. Zazwyczaj są one zbudowane na tej samej strukturze:

1. Aby rozpocząć, należy wybrać alfabet, albo jakiś zestaw szczególnych znaków, które będą budowane i wyrażeń w języku. Formalnym języku jakikolwiek sposób zaprogramować za pomocą komputera.
2. Opisuje składnię, czyli cechy i zasady, które będą budować sensowne zdania.
3. W sprawie niektórych przepisów dotyczących słów i wyrażeń. Tu jest zasada: każda sekwencja liter musi być w stanie policzyć słowa.

Przez formalnym języku odnosi się do każdej struktury, która ma jasne zasady – należy pamiętać. Podczas budowy, istnieją pewne cechy. Tak więc, „charakter” termin jest bardzo wielofunkcyjny pod względem znaczenia, więc w przeważającej części użył określenia jak „litery”. Ale pod nimi może być rozumiana nie tylko zwykłej notacji dla nas, ale także nawiasy, znaki specjalne i wiele innych. Odnosi się tylko do języków formalnych.

Przykład 1

Zacznijmy od 1 do 0. W takich przypadkach, należy tym bardziej pojęcia „termin” i „wzoru”. Pierwszy działa jako analogu przedmiotu i nazwy używane w odniesieniu do czegoś konkretnego. Przede wszystkim zrozumieć stałe i zmienne indywidualne pod nimi. Spośród nich, z kolei, budować bardziej złożone struktury, która jest stosowana w niektórych używanych funkcji języka. Zgodnie z warunkami grupy zrozumieć formuły, których użycie w określonym języku programowania jest możliwe. Niniejsza „Instrukcja” będą przetwarzane, a osoba ta będzie uzyskać pożądany rezultat.

Przykład 2

Rozważmy przykładową logikę, w którym występuje inwersja (Ź) alternatywa (∧), przy czym połączenie (∨) oraz implikacje (⇒) i kilka innych. W takim nagrywania obrazów może być podany jako:

1. A;
2. A∧V ⇒ ¬A
3. Kontakty (A∨¬S)

Jako znaki A, B, C, zastąpić zmienne i masz operacje logiczne. Gdzie składać formalne języków tego typu? Powszechne stosowanie takiego mechanizmu znajduje się w językach programowania, matematyki, relacji, funkcji logicznych i matematycznych, lub jego części, które zostały opisane przez programistę.

Przykład 3

Spójrzmy na bardziej skomplikowanych formuł logicznych:

Kontakty (A∨¬S) ⇔ ¬A∧S = 1

Dlatego musimy języków formalnych. Wyobraź sobie, co by się stało, gdyby to było opisać słowami? Teraz, na podstawie formuły możemy wywnioskować wnioski. wyrażenia sensowne można uzyskać w oficjalnym języku tylko wtedy, gdy pewne zasady są przestrzegane wstępnej formacji, zmiany i „zrozumienie” z wzorów i terminów, z którego są wykonane:

1. Budowa i wzory termin;
2. Badanie semantycznej aspektu i interpretacji;
3. Sekwencja jednej z formuł i drugim okresie.

Każdy język formalny należy ugruntowaną zestaw reguł.

Przykład 4

Ze względu na obecność w regulaminie wyjściu składni języka dla terminów i wzorów można izomorficzne modele transformacji. Więc to będzie prowadzone nie tylko odbiciem (reprezentacji) specyficzny zasób wiedzy, który już istnieje, ale może otrzymać nowe informacje. Co więcej, transformacja, choć i odbędzie się według jasnych i ścisłych zasad, może być zautomatyzowane. Podobne techniki są stosowane w systemach eksperckich, baz wiedzy oraz produktów oprogramowania wspomagania decyzji.

wniosek

Języki formalne są szeroko stosowane w nauce, zwłaszcza w dziedzinie. Podczas badań naukowych i wdrażania praktycznych działań mogą wchodzić w interakcje z naturalnym, z uwagi na znaczne możliwości ekspresyjnych tego ostatniego. Jeszcze języki formalne mogą dokładniej przekazać wiedzę i przeprowadzenia obiektywnej wymianę informacji zgromadzonych przez ludzkość.