Τυπικά χαρακτηριστικά και παραδείγματα γλωσσών



Το επίσημη γλώσσα είναι ένα σύνολο γλωσσικών πινακίδων για αποκλειστική χρήση σε περιπτώσεις όπου η φυσική γλώσσα δεν είναι κατάλληλη. Σε γενικές γραμμές, η γλώσσα χωρίζεται σε φυσική ή άτυπη και τεχνητή. Το πρώτο χρησιμοποιείται για κοινές καταστάσεις καθημερινής ζωής. Εν τω μεταξύ, το τεχνητό χρησιμοποιείται σε συγκεκριμένες καταστάσεις εκτός του πεδίου της καθημερινής ζωής.

Με τον τρόπο αυτό, η επίσημη γλώσσα είναι μέρος της τεχνητής ομάδας. Αυτό χρησιμοποιείται, ειδικά στις επίσημες επιστήμες (εκείνες των οποίων το πεδίο δράσης δεν είναι οι πραγματικότητες του φυσικού κόσμου αλλά ο αφηρημένος κόσμος). Ορισμένες από αυτές τις επιστήμες περιλαμβάνουν τη λογική, τα μαθηματικά και τον προγραμματισμό ηλεκτρονικών υπολογιστών.

Υπό αυτή την έννοια, αυτό το είδος γλώσσας χρησιμοποιεί γλωσσικούς κώδικες που δεν είναι φυσικοί (δεν έχουν εφαρμογή μέσα στις επικοινωνίες στον απλό κόσμο). Στον τομέα των επίσημων επιστημών, μια επίσημη γλώσσα είναι ένα σύνολο αλυσίδων συμβόλων που μπορούν να ρυθμιστούν από νόμους που είναι συγκεκριμένοι για καθεμία από αυτές τις επιστήμες.

Τώρα, αυτός ο τύπος γλώσσας χρησιμοποιεί ένα σύνολο συμβόλων ή γραμμάτων ως αλφάβητο. Από αυτό σχηματίζονται οι "αλυσίδες της γλώσσας" (λέξεις). Αυτά, αν συμμορφώνονται με τους κανόνες, θεωρούνται "καλά μορφοποιημένες λέξεις" ή "καλά διαμορφωμένες φόρμουλες".

Ευρετήριο

  • 1 Χαρακτηριστικά
    • 1.1 Περιορισμένο περιβάλλον
    • 1.2 Γραμματική κανόνες εκ των προτέρων
    • 1.3 Ελάχιστο σημασιολογικό στοιχείο
    • 1.4 Συμβολική γλώσσα
    • 1.5 Παγκοσμιοποίηση
    • 1.6 Ακρίβεια και εκφραστικότητα
    • 1.7 Δυναμικό επέκτασης
  • 2 Παραδείγματα
    • 2.1 Λογική
    • 2.2 Μαθηματικά
    • 2.3 Προγραμματισμός υπολογιστών
  • 3 Αναφορές

Χαρακτηριστικά

Περιορισμένο περιβάλλον

Ο στόχος της επίσημης γλώσσας είναι η ανταλλαγή δεδομένων υπό διαφορετικές περιβαλλοντικές συνθήκες από άλλες γλώσσες. Για παράδειγμα, στη γλώσσα προγραμματισμού, το τέλος είναι η επικοινωνία μεταξύ ανθρώπων και υπολογιστών ή μεταξύ ηλεκτρονικών συσκευών. Δεν είναι επικοινωνία μεταξύ ανθρώπων.

Έτσι, είναι μια ad hoc γλώσσα, που δημιουργείται με συγκεκριμένο στόχο και λειτουργεί κάτω από πολύ συγκεκριμένα πλαίσια. Επίσης, δεν χρησιμοποιείται με τεράστιο τρόπο. Αντιθέτως, η χρήση του περιορίζεται σε όσους γνωρίζουν τόσο τον στόχο της γλώσσας όσο και το ιδιαίτερο πλαίσιο της.

Ο γραμματικός κανόνας a priori

Η επίσημη γλώσσα διαμορφώνεται από την καθιέρωση εκ των προτέρων γραμματικών κανόνων που δίνουν τη βάση. Έτσι, αρχικά σχεδιάζουμε το σύνολο των αρχών που θα διέπουν τον συνδυασμό στοιχείων (σύνταξη) και στη συνέχεια θα παράγουν τους τύπους.

Από την άλλη πλευρά, η ανάπτυξη της επίσημης γλώσσας είναι συνειδητή. Αυτό σημαίνει ότι απαιτείται συνεχής προσπάθεια για την εκμάθησή τους. Με την ίδια σειρά ιδεών, η χρήση του οδηγεί σε εξειδίκευση στους κανονισμούς και τις συμβάσεις επιστημονικής χρήσης.

Ελάχιστο σημασιολογικό στοιχείο

Το σημασιολογικό στοιχείο στην επίσημη γλώσσα είναι ελάχιστο. Μια ορισμένη αλυσίδα που ανήκει στην επίσημη γλώσσα δεν έχει καμία σημασία από μόνη της.

Το σημασιολογικό φορτίο που μπορεί να έχουν προέρχεται εν μέρει από χειριστές και σχέσεις. Ορισμένα από αυτά είναι: η ισότητα, η ανισότητα, οι λογικοί συνδετικοί και οι αριθμητικοί χειριστές.

Στη φυσική γλώσσα, η επανάληψη του συνδυασμού των "p" και "a" στη λέξη "μπαμπάς" έχει τη σημασιολογική αξία του γονέα. Ωστόσο, σε επίσημη γλώσσα δεν το κάνει. Στο πρακτικό πεδίο, η έννοια ή η ερμηνεία των αλυσίδων βρίσκεται στη θεωρία που προσπαθεί να καθορίσει μέσω αυτής της επίσημης γλώσσας.

Έτσι, όταν χρησιμοποιείται για γραμμικά συστήματα εξισώσεων, έχει τη θεωρία μήτρας ως μία από τις σημασιολογικές της αξίες. Από την άλλη πλευρά, το ίδιο αυτό σύστημα έχει το σημασιολογικό φορτίο των λογικών σχεδίων κυκλωμάτων στον υπολογισμό.

Συμπερασματικά, οι έννοιες αυτών των αλυσίδων εξαρτώνται από την περιοχή των επίσημων επιστημών στις οποίες εφαρμόζονται.

Συμβολική γλώσσα

Η επίσημη γλώσσα είναι απολύτως συμβολική. Αυτό γίνεται από στοιχεία των οποίων η αποστολή είναι να μεταδώσουν τη σχέση μεταξύ τους. Αυτά τα στοιχεία είναι τα επίσημα γλωσσικά σημάδια που, όπως αναφέρθηκε, δεν παράγουν καμία σημασιολογική αξία από μόνα τους.

Η μορφή της κατασκευής της επίσημης συμβολικής γλώσσας μας επιτρέπει να κάνουμε υπολογισμούς και να καθιερώνουμε αλήθειες όχι ανάλογα με τα γεγονότα αλλά με τις σχέσεις τους. Αυτή η συμβολογία είναι μοναδική και απέχει από κάθε συγκεκριμένη κατάσταση στον υλικό κόσμο.  

Οικουμενικότητα

Η επίσημη γλώσσα έχει καθολικό χαρακτήρα. Σε αντίθεση με τη φυσική, που ενθαρρύνει την υποκειμενικότητα της επιτρέπει ερμηνείες και πολλαπλές διαλέκτους, η επίσημη εμφανίζεται αμετάβλητη.

Στην πραγματικότητα, είναι παρόμοια για διαφορετικούς τύπους κοινοτήτων. Οι προσεγγίσεις τους έχουν το ίδιο νόημα για όλους τους επιστήμονες ανεξάρτητα από τη γλώσσα που μιλούν.

Ακρίβεια και εκφραστικότητα

Γενικά, η επίσημη γλώσσα είναι ακριβής και όχι πολύ εκφραστική. Οι κανόνες του σχηματισμού εμποδίζουν τους ομιλητές να συνθέτουν νέους όρους ή να δίνουν νέες έννοιες στους υπάρχοντες όρους. Και, δεν μπορεί να χρησιμοποιηθεί για να μεταδώσει πεποιθήσεις, διαθέσεις και ψυχολογικές καταστάσεις.

Δυνατότητα επέκτασης

Στο μέτρο που έχει σημειωθεί πρόοδος στην ανακάλυψη των αιτήσεων επίσημης γλώσσας, η ανάπτυξή της έχει εξελιχθεί. Το γεγονός ότι μπορεί να λειτουργήσει μηχανικά χωρίς να σκεφτεί το περιεχόμενό του (οι έννοιές του) επιτρέπει τον ελεύθερο συνδυασμό των συμβόλων και των χειριστών του.

Θεωρητικά, το εύρος της επέκτασης είναι άπειρο. Για παράδειγμα, οι πρόσφατες έρευνες στον τομέα της πληροφορικής και της πληροφορικής αφορούν τόσο τις γλώσσες (φυσικές και επίσημες) για πρακτικούς σκοπούς.

Συγκεκριμένα, ομάδες επιστημόνων εργάζονται για τρόπους βελτίωσης της ισοδυναμίας μεταξύ τους. Στο τέλος αυτό που επιδιώκεται είναι η δημιουργία νοημοσύνης που μπορεί να χρησιμοποιήσει την επίσημη γλώσσα για να παράγει τη φυσική γλώσσα.

Παραδείγματα

Λογική

Στη συμβολοσειρά: (p⋀q) ⋁ (r⋀t) => t, τα γράμματα p, q, r, t συμβολίζουν προτάσεις χωρίς συγκεκριμένη σημασία. Από την άλλη πλευρά, τα σύμβολα ⋀, ⋁, και => αντιπροσωπεύουν τους συνδέσμους που συνδέουν τις προτάσεις. Στο συγκεκριμένο παράδειγμα, οι συνδετήρες που χρησιμοποιούνται είναι "y" (⋀), "o" (⋁), "then" (=>).

Η πλησιέστερη μετάφραση στη συμβολοσειρά είναι: εάν πληρούνται οι όποιες από τις εκφράσεις σε παρένθεση ή όχι, τότε τ ικανοποιείται ή δεν τηρείται. Οι σύνδεσμοι είναι υπεύθυνοι για τον καθορισμό των σχέσεων μεταξύ των προτάσεων που μπορούν να αντιπροσωπεύουν οτιδήποτε ...

Μαθηματικά

Σε αυτό το μαθηματικό παράδειγμα A = ❴x | x⦤3⋀x> 2❵, ένα σύνολο με το όνομα "Α" που έχει στοιχεία του ονόματος "x" παρεμβαίνει. Όλα τα στοιχεία του Α σχετίζονται με την συμβολογία ❴, |, ⦤, ⋀,>, ❵.

Όλα αυτά χρησιμοποιούνται εδώ για να καθορίσουν τους όρους που πρέπει να πληρούν τα στοιχεία "x" έτσι ώστε να μπορούν να είναι της σειράς "Α".

Η εξήγηση αυτής της αλυσίδας είναι ότι τα στοιχεία αυτής της σειράς είναι όλα εκείνα που πληρούν την προϋπόθεση ότι είναι μικρότερη ή ίση με 3 και ταυτόχρονα μεγαλύτερη από 2. Με άλλα λόγια, αυτή η αλυσίδα ορίζει τον αριθμό 3 που είναι το μόνο στοιχείο που συμμορφώνεται με τους όρους.

Προγραμματισμός υπολογιστών

Η γραμμή προγραμματισμού IF A = ​​0, THEN GOTO 30, 5 * A + 1 έχει μια μεταβλητή "Α" που υποβάλλεται σε μια διαδικασία αναθεώρησης και λήψης αποφάσεων μέσω ενός χειριστή γνωστού ως "εάν υπόκειται".

Οι εκφράσεις "IF", "THEN" και "GOTO" αποτελούν μέρος της σύνταξης του χειριστή. Εν τω μεταξύ, τα υπόλοιπα στοιχεία είναι οι τιμές σύγκρισης και δράσης του "Α".

Η σημασία του είναι: ο υπολογιστής καλείται να αξιολογήσει την τρέχουσα τιμή του "Α". Εάν είναι ίσο με το μηδέν, θα πάει στο "30" (άλλη γραμμή προγραμματισμού όπου θα υπάρξει άλλη εντολή). Σε περίπτωση που είναι διαφορετική από μηδέν, τότε η μεταβλητή "Α" πολλαπλασιάζεται (*) με την τιμή 5 και θα προστεθεί (+) η τιμή 1.

Αναφορές

  1. Λεξικό Collins. (s / f). Ορισμός της «επίσημης γλώσσας». Από το collinsdictionary.com.
  2. Πανεπιστήμιο Τεχνολογίας, Σίδνεϊ. (s / f). Τυπική και άτυπη γλώσσα. Λαμβάνεται από uts.edu.au.
  3. Ορισμοί (s / f). Ορισμοί για την επίσημη γλώσσα. Λήψη από definitions.net.
  4. Τεχνικό Πανεπιστήμιο Μαδρίτης. (s / f). Φυσικές γλώσσες και επίσημες γλώσσες. Λήψη από τη διεύθυνση lorien.die.upm.es.
  5. Δήμος Luján. (s / f). Η επίσημη γλώσσα Λαμβάνεται από το lujan.magnaplus.org.
  6. Corbin, J. Α (S / F). Οι 12 τύποι γλώσσας (και τα χαρακτηριστικά τους). psicologiaymente.com.
  7. Bel Enguix, G. και Jiménez López, Μ. D. (s / f). Συμπόσιο: Νέες εφαρμογές της θεωρίας των επίσημων γλωσσών στη γλωσσολογία. Λαμβάνεται από elvira.lllf.uam.es.