Εξηγούμε τι είναι οι επίσημες γλώσσες, τα χαρακτηριστικά, τα παραδείγματα και τα είδη τους. Επίσης, οι διαφορές του με τις φυσικές γλώσσες.
Τι είναι μια επίσημη γλώσσα;
Σε χρήση υπολογιστή και την επιστήμη της πληροφορίας, όταν αναφερόμαστε σε μια επίσημη γλώσσα σε αντίθεση με τις φυσικές γλώσσες, αναφερόμαστε σε εκείνα τα συστήματα του σημάδια προικισμένο με πρωτόγονα σύμβολα και ένα επίσημα καθορισμένο σύστημα κανόνων χρήσης, δηλαδή προικισμένο με αλφάβητο και του α γραμματική (ή σύνταξη) επίσημο:
- Ως αλφάβητο νοείται το πεπερασμένο και μη κενό σύνολο πρωτόγονων συμβόλων.
- Η τυπική γραμματική εννοείται ότι είναι το πεπερασμένο σύνολο κανόνων συνδυασμού του εν λόγω αλφαβήτου για το σχηματισμό πεπερασμένων αλυσίδων με συγκεκριμένο νόημα.
Σε αυτό διαφέρει από τις φυσικές γλώσσες, που προέκυψαν γύρω από την ανθρώπινη ανάγκη για επικοινωνία, στις οποίες οι κανόνες είναι περίπλοκοι και διφορούμενοι και το νόημα εξαρτάται από την ερμηνεία του γλωσσικά σημάδια. Για το λόγο αυτό, οι φυσικές γλώσσες είναι απείρως πιο περίπλοκες από την ανάγνωση μιας επίσημης γλώσσας της οποίας κανόνες είναι πεπερασμένα και καθιερωμένα εκ των προτέρων.
Οι επίσημες γλώσσες είναι σημαντικές για τον κόσμο του μαθηματικά και του χρήση υπολογιστή, αφού μας επιτρέπουν να δημιουργήσουμε κωδικούς επικοινωνία μεταξύ ανθρώπων και μηχανών, δηλαδή η προγραμματισμός. Δεν πρέπει να συγχέουμε τις επίσημες γλώσσες με το επίσημο επίπεδο της γλώσσας ή με το επίσημη γλώσσα, που είναι η τυπική, ευγενική και τυπική χρήση της λεκτικής γλώσσας, σε αντίθεση με τη χρήση της καθομιλουμένη, ατημέλητος και άτυπος.
Σύμφωνα με τον Αμερικανό γλωσσολόγο Noam Chomsky (1928-), οι επίσημες γλώσσες μπορούν να ταξινομηθούν σε τέσσερις τύπους:
- Τύπος 3: κανονικές γλώσσες προικισμένες με κανονικές γραμματικές, δηλαδή με συστήματα κανόνων που μπορούν να ληφθούν με κανονικές εκφράσεις και που επιτρέπουν τη λήψη όλων των πιθανών συμβολοσειρών συμβόλων.
- Τύπος 2: γλώσσες χωρίς συμφραζόμενα προικισμένες με γραμματικές χωρίς συμφραζόμενα, δηλαδή επιτρέπουν τη λήψη όλων των πιθανών συμβολοσειρών συμβόλων, αλλά σε πολύ υψηλότερο επίπεδο πολυπλοκότητας από τις κανονικές.
- Τύπος 1: γλώσσες με βάση τα συμφραζόμενα προικισμένες με γραμματικές με βάση τα συμφραζόμενα, δηλαδή, που επιτρέπουν τη λήψη σειρών εξαρτημένων συμβόλων, όπως υποδηλώνει το όνομά τους, του συμφραζόμενα.
- Τύπος 0: ελεύθερες γλώσσες προικισμένες με δωρεάν γραμματικές, χωρίς περιορισμούς, που παράγει αναδρομικά αναρίθμητες γλώσσες.
Παραδείγματα επίσημων γλωσσών
Παραδείγματα επίσημων γλωσσών είναι:
- ο γλώσσες προγραμματισμού με την οποία το λογισμικό.
- Το παιχνίδι σκάκι, του οποίου τα κομμάτια είναι περιορισμένα και οι κινήσεις του περιγράφονται εκ των προτέρων.
- Κώδικας μορς, που μέσα από μικρές και μεγάλες πινακίδες συνθέτει λόγια Υ ακέραιους αριθμούς.
- Το δικό λογική συμβολική αποτελεί επίσημη γλώσσα.