Τι πρέπει να επίσημες γλώσσες μπορούν να αποδοθούν; παραδείγματα της χρήσης

Ποια είναι η επίσημη γλώσσα και πώς διαφέρει από το φυσικό; Πως δημιουργήθηκε; Τι πρέπει να επίσημες γλώσσες μπορούν να αποδοθούν; Και χρησιμοποιείται για να αναφερθεί σ 'αυτόν;

Χαρακτηριστικά των τυπικών γλωσσών

Έτσι, καλούμε μια ομάδα τεχνητών γλωσσών, οι οποίες χαρακτηρίζονται από συγκεκριμένους κανόνες σχετικά με την κατασκευή της εκδήλωσης, καθώς και την κατανόηση τους. συστήματα που χρησιμοποιούνται για βιομηχανικούς σκοπούς μπορεί να αποδοθεί σε επίσημες γλώσσες. Είναι χτισμένο σύμφωνα με τους σαφείς κανόνες, παρέχουν σταθερή, συμπαγής και ακριβή απεικόνιση των ιδιοτήτων και των σχέσεων της μελέτησαν γνωστικό αντικείμενο ή πρότυπο αντικείμενα. Η αξία και η σημασία των σημάτων δεν μπορεί να αλλάξει με οποιοδήποτε ρεαλιστική χαρακτηριστικά (χρήση του πλαισίου). Αυτό είναι εφικτό χάρη στην παρουσία στην επίσημη γλώσσα των κανόνων μετατροπής σύνταξης και σημασιολογική ερμηνεία. Συχνά κατασκευαστεί χρησιμοποιώντας ως βάση των μαθηματικών. Λόγω του γεγονότος ότι, σε όλη την διάρκεια της ανάπτυξης, χρησιμοποιήθηκε μια ποικιλία από συμβολικές ονομασίες έχουν εφαρμοστεί σε μια ποικιλία των εννοιών και αντικειμένων. Αυτό είναι ό, τι χρειάζεται επίσημη γλώσσα. Μπορούν να μειώσουν σημαντικά δεδομένα. Οι Νωρίτερα, μαζί με τα τυπικά και φυσικά γλώσσες έχουν χρησιμοποιηθεί, αλλά με τη σταδιακή επιπλοκή του θέματος και την ανάγκη να κάνει μια αυστηρή λογική ανάλυση της μαθηματικής λογικής, αποφασίστηκε να εγκαταλείψει το παρελθόν. Η διαδικασία αυτή διήρκεσε από το XVII του ΧΧ αιώνα. Είναι το τελευταίο αιώνα θεωρείται το πιο καρποφόρα από πλευράς των τυπικών γλωσσών. διάφορους ειδικούς κλάδους δημιουργήθηκαν. Έτσι, για την επιστήμη των υπολογιστών έχουν ιδιαίτερη σημασία γλώσσες προγραμματισμού και την άλγεβρα της λογικής, όχι μόνο θεωρητικά, αλλά και από πρακτική άποψη.

ορισμός

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

1. Μια απλή λίστα με τις λέξεις στη γλώσσα - συνήθως λένε τόσο σε σχέση με τον τελικό τύπο της κατασκευής και για αυτούς που έχουν μια απλή δομή.
2. Λέξεις που παράγεται από ένα ορισμένο επίσημης γραμματικής.
3. Η δομή που δημιουργήθηκε από κανονικές εκφράσεις.
4. Λέξεις που παράγεται από το BPF σχεδιασμού.
5. Η δομή, αναγνωρίσιμη από ένα πεπερασμένο αυτόματο.

Ας δούμε ένα παράδειγμα. Ας πούμε ότι έχουμε όλο το αλφάβητο, δίνονται δύο αριθμούς 1 και 0. Για να εμφανιστεί το γράμμα «O», χρησιμοποιούμε ένα συνδυασμό 1010001. Αυτή είναι η χρήση μιας επίσημης γλώσσας. Είναι επίσης δυνατή η χρήση κούφια λόγια (όταν η σειρά έχει μηδενικό μήκος, και δεν υπάρχει τίποτα) με ειδική ονομασία με τη μορφή οικεία σε μας. Αλλά με περισσότερες λεπτομέρειες για να καταλάβουμε τι είναι μια επίσημη γλώσσα, βοηθούν 4 παραδείγματα που θα δοθούν στη συνέχεια. Τι κάνει; Για την κατανόηση του αναγνώστη ήταν ότι η επίσημη γλώσσα μπορεί να αποδοθεί. Αλλά λίγο περισσότερο για το πώς δημιουργούνται.

Κατασκευή επίσημες γλώσσες

Κάθε γλώσσα είναι μια τυπική δομή που δημιουργήθηκε κάποτε και κάποιος. Είναι συνήθως χτισμένο στο ίδιο μοτίβο:

1. Για να ξεκινήσετε, επιλέξτε το αλφάβητο, ή κάποιο σύνολο ειδικών χαρακτήρων που θα κατασκευαστεί και εκφράσεις που χρησιμοποιούνται στη γλώσσα. Με την επίσημη γλώσσα είναι κάποιος τρόπος για να προγραμματίσετε τη χρήση υπολογιστή.
2. Περιγράφει τη σύνταξη, που είναι, τα χαρακτηριστικά και τους κανόνες που θα κατασκευάσει νόημα φράσεις.
3. Σε ορισμένους κανόνες για τις λέξεις και εκφράσεις. Εδώ υπάρχει ένας κανόνας: κάθε ακολουθία γραμμάτων πρέπει να είναι σε θέση να μετρήσει τα λόγια.

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

ΠΑΡΑΔΕΙΓΜΑ 1

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

ΠΑΡΑΔΕΙΓΜΑ 2

Εξετάστε το παράδειγμα λογική στην οποία υπάρχει μία αντιστροφή (¬), διάζευξη (∧), η συνδυασμό (∨) και η επίπτωση (⇒) και διάφορα άλλα. Σε μια τέτοια καταγραφή των εικόνων μπορεί να δοθεί ως εξής:

1. Α?
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

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

ΠΑΡΑΔΕΙΓΜΑ 3

Ας δούμε ένα πιο πολύπλοκο λογικούς τύπους:

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

Γι 'αυτό χρειαζόμαστε επίσημη γλώσσα. Φανταστείτε τι θα είχε συμβεί αν είχε περιγραφεί με λόγια; Τώρα, με βάση έναν τύπο συμπεραίνουμε συμπεράσματα. Σημαντικές εκφράσεις μπορούν να ληφθούν στην επίσημη γλώσσα μόνο όταν ορισμένοι κανόνες τηρούνται προ-σχηματισμό, την αλλαγή και την «κατανόηση» των τύπων και των όρων τους οποίους γίνονται:

1. διάρκεια κατασκευής τύπων και?
2. Μελέτη της σημασιολογική πτυχή και την ερμηνεία?
3. Η αλληλουχία ενός από τους τύπους και άλλος όρος.

Κάθε επίσημη γλώσσα πρέπει να είναι καλά καθιερωμένο σύνολο κανόνων.

ΠΑΡΑΔΕΙΓΜΑ 4

Λόγω της παρουσίας στους κανόνες της εξόδου γλώσσα σύνταξης για τους όρους και τους τύπους μπορεί να γίνει ισομορφικό μοντέλα μετασχηματισμού. Γι 'αυτό θα πρέπει να πραγματοποιείται όχι μόνο η αντανάκλαση (αναπαράσταση) ένα ειδικό σώμα της γνώσης που υπάρχει ήδη, αλλά μπορεί να λάβει νέες πληροφορίες. Επιπλέον, η μετατροπή, όμως, και θα πραγματοποιηθεί σύμφωνα με τις σαφείς και αυστηρούς κανόνες, μπορεί να αυτοματοποιηθεί. Παρόμοιες τεχνικές χρησιμοποιούνται σε έμπειρα συστήματα, βάσεις γνώσεων, και τα προϊόντα υποστήριξης αποφάσεων λογισμικού.

συμπέρασμα

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