Τι είναι το Metalanguage:
Το Metalanguage είναι το γλώσσα που χρησιμοποιείται για την περιγραφή, την κατάσταση ή την ανάλυση της γλώσσας.
Στη λογική και τη γλωσσολογία, το metalanguage χρησιμοποιείται για την ανάλυση και τη δομή των λογικών προβλημάτων που δημιουργούνται από τα σημασιολογικά παράδοξα στη γλώσσα που χρησιμοποιείται για την περιγραφή αντικειμένων.
Το metalanguage ορίζεται επίσης ως η εξειδικευμένη γλώσσα για την περιγραφή ενός φυσικού γλωσσικού συστήματος ή μιας άλλης γλώσσας που θεωρείται αντικείμενο ανάλυσης. Αυτό ισχύει ιδιαίτερα για την εκμάθηση μιας νέας γλώσσας, όπως "η λέξη Γλώσσα σημαίνει «γλώσσα» στα Αγγλικά. "
Οι εκφράσεις στο metalanguage διακρίνονται συχνά από τη γλώσσα-αντικείμενο χρησιμοποιώντας πλάγιους χαρακτήρες, εισαγωγικά ή ξεχωριστή γραφή γραμμής, αν και δεν εκφράζεται πάντα με αυτόν τον τρόπο.
Ο Βρετανός συγγραφέας Bertrand Russell (1872-1970) καθόρισε τη θεωρία της ιεραρχίας των γλωσσών σε δύο επίπεδα:
- Επίπεδο γλώσσας-αντικειμένου: χρησιμοποιείται για αναφορά σε αντικείμενα, όπως "είναι άνθρωποι".
- Μεταλλουσιακό ή μεταλλικό επίπεδο: είναι η γλώσσα που χρησιμοποιείται για τον ορισμό του προηγούμενου επιπέδου, για παράδειγμα, στη φράση «οι μετανάστες είναι άνθρωποι», «οι μετανάστες» βρίσκεται στο επίπεδο μετάλλων.
Από την άλλη πλευρά, ο Πολωνός συγγραφέας Alfred Tarski (1901-1983) ορίζει το metalanguage ως τη λύση για τα σημασιολογικά παράδοξα, δηλώνοντας ότι «είναι απαραίτητο να μιλάμε την αλήθεια για τη γλώσσα από μια διαφορετική γλώσσα που ονομάζεται metalanguage».
Μερικά παραδείγματα μετάλλων είναι η γραμματική γλώσσα, η λεξικογραφική γλώσσα, η λογική γλώσσα, η παιδική γλώσσα, η τεχνική γλώσσα, η γλώσσα του υπολογιστή, μεταξύ άλλων.
Στη γλωσσολογία, έξι χρήσεις ή συναρτήσεις διακρίνονται στη γλώσσα, μία εκ των οποίων είναι η μεταγλωσσική συνάρτηση, η οποία χρησιμοποιεί τη μετάλλαξη για να μιλήσει για την ίδια τη γλώσσα. Για παράδειγμα: "Το metalanguage είναι μια γλώσσα."
Χαρακτηριστικά της μεταλλικής γλώσσας
Το metalanguage έχει συγκεκριμένα χαρακτηριστικά που βοηθούν στην καλύτερη κατανόηση του μηνύματος λόγω της λογικής πολυπλοκότητας που διατηρεί. Ο Άλφρεντ Τάρσκι ορίζει ορισμένα βασικά χαρακτηριστικά για να θεωρηθεί μια γλώσσα ως μεταλλική γλώσσα:
- Το Metalanguage ορίζει μια γλώσσα χρησιμοποιώντας μια διαφορετική γλώσσα.
- Το metalanguage πρέπει να είναι πλουσιότερο από τη γλώσσα αντικειμένου, καθώς περιγράφει τις προτάσεις του και τη σύνταξή του.
- Η μετάφραση είναι κατανοητή στη θεωρία των συνόλων και της δυαδικής λογικής.
- Το metalanguage πρέπει να είναι ένα αντίγραφο της γλώσσας αντικειμένου, ώστε αυτό που μπορεί να ειπωθεί μαζί του να μπορεί επίσης να εκφραστεί από το metalanguage.
Μεταλλαγμός στον υπολογιστή
Το metalanguage στην επιστήμη των υπολογιστών χρησιμοποιείται για να περιγράψει με ακρίβεια τις σειρές προγραμμάτων. Το 1950, στον τομέα της πληροφορικής, υπήρχαν δύο τύποι προβλημάτων για τη σύνθεση των προγραμμάτων υπολογιστών:
- Η έλλειψη σχεδιασμού μιας μαθηματικής γλώσσας για την έκφραση ενός αλγορίθμου.
- Η αδυναμία μετάφρασης προγραμμάτων σε κώδικα υπολογιστή.
Το πρώτο πρόβλημα λύθηκε χάρη στη δημιουργία της πειθαρχίας του σχεδιασμού προγραμμάτων υπολογιστών και το δεύτερο ερώτημα λύθηκε χάρη στη δημιουργία των μεταγλωττιστών που ορίζονται ως μεταγλωσσική γλώσσα, είναι ένα πρόγραμμα που διαβάζει ένα πρόγραμμα.
Οι υπολογιστές βασίζονται σε γλώσσες προγραμματισμού. Ένα από τα πιο χρησιμοποιημένα είναι το BNF (Backus-Naur Form) που δημιουργήθηκε από τους John Backus και Peter Naur, το οποίο αναπτύχθηκε ανεξάρτητα από τον Noam Chomsky, επίσης γνωστό ως ιεράρχηση του μοντέλου TYPE2 του Chomsky.
Οι μεταγλωττιστές δημιουργούν μια συντακτική ανάλυση που εντοπίζει τα περισσότερα σφάλματα στον πηγαίο κώδικα και τη μεταφράζουν σε ένα ισοδύναμο πρόγραμμα σε άλλη γλώσσα (αντικειμενικός κώδικας).
