Co to jest język metalowy:
Metalojęzyk to język, który służy do opisywania, stwierdzania lub analizowania języka .
W logice i lingwistyce metajęzyk służy do analizy i strukturyzacji problemów logicznych, które wynikają z paradoksów semantycznych w języku, w którym opisuje się przedmioty.
Metajęzyk definiuje się również jako język specjalistyczny do opisu naturalnego systemu językowego lub innego języka uznanego za przedmiot analizy. Jest to szczególnie widoczne przy nauce nowego języka, ponieważ np. „słowo language oznacza po angielsku 'język'.”
Wyrażenia w metajęzyku są często odróżniane od języka przedmiotowego za pomocą kursywy, cudzysłowu lub pisania w osobnej linii, chociaż nie zawsze jest to wyrażane w ten sposób.
Brytyjski pisarz Bertrand Russell (1872-1970) zdefiniował dwupoziomową teorię hierarchii języków:
-
(tixagag_4) Poziom język-obiekt : używany do odnoszenia się do obiektów, jak na przykład „oni są ludźmi”.
- Poziom metajęzykowy lub metajęzykowy : Jest to język, który służy do określenia poprzedniego poziomu, np. w zdaniu „imigranci są ludźmi”, „imigranci” jest na poziomie metajęzykowym.
Z drugiej strony, polski pisarz Alfred Tarski (1901-1983) definiuje metajęzyk jako rozwiązanie dla paradoksów semantycznych stwierdzając, że „trzeba mówić prawdę o języku z innego języka zwanego metajęzykiem”.
Niektóre przykłady metajęzyka to między innymi język gramatyczny, język leksykograficzny, język logiczny, język dziecięcy, język techniczny, język komputerowy.
Patrz również Język.
W lingwistyce wyróżnia się sześć zastosowań lub funkcji języka, jedną z nich jest funkcja metajęzykowa, która wykorzystuje metajęzyk do mówienia o samym języku. Na przykład: „Język metalowy jest językiem”.
Patrz również Funkcje języka.
Charakterystyka metajęzyka
Metajęzyk posiada specyficzne cechy, które dzięki logicznej złożoności, którą wspiera, pomagają w lepszym zrozumieniu przekazu. Alfred Tarski definiuje kilka istotnych cech, aby język mógł być uznany za metajęzyk:
- Metajęzyk definiuje język za pomocą innego języka.
- Metajęzyk musi być bogatszy niż język przedmiotowy, ponieważ opisuje on jego zdania i składnię.
- Metajęzyk jest rozumiany w ramach teorii zbiorów i logiki binarnej.
(tixagag_4) Metajęzyk musi być kopią języka przedmiotowego, aby to, co można powiedzieć za jego pomocą, można było wyrazić również za pomocą metajęzyka.
Język metalowy w informatyce
Metajęzyk w informatyce służy do precyzyjnego opisywania ciągów programowych. W roku 1950, w dziedzinie informatyki, przedstawiono dwa rodzaje problemów do komponowania programów komputerowych:
- Brak projektu języka matematycznego do wyrażenia algorytmu.
- Niemożność przetłumaczenia programów na kod komputerowy.
Patrz również Algorytm.
Pierwszy problem został rozwiązany dzięki stworzeniu dyscypliny projektowania programów komputerowych, a drugi problem został rozwiązany dzięki stworzeniu kompilatorów, które są zdefiniowane jako metajęzyk, będący programem, który czyta program.
Kompilatory komputerowe opierają się na językach programowania. Jednym z najczęściej używanych jest BNF (Backus-Naur Form) stworzony przez Johna Backusa i Petera Naura, rozwijany niezależnie przez Noama Chomsky'ego, znany również jako hierarchia modelu TYPE2 Chomsky'ego.
Kompilatory generują analizę składniową wykrywającą większość błędów w kodzie źródłowym i tłumaczą go na równoważny program w innym języku (kod obiektowy).
Patrz również Programowanie.
