Το έτος 1930, οι μαθηματικοί και οι λογικοί άρχισαν την έρευνα για τον υπολογισμό για να γνωρίζουν το νόημα. Προς το παρόν, το TOC (Θεωρία του Υπολογισμού) μπορεί να χωριστεί σε τρεις θεωρίες όπως η θεωρία υπολογισμού, η θεωρία της πολυπλοκότητας, καθώς και η θεωρία των αυτομάτων. Το TOC είναι ένας επιστημονικός έλεγχος που προβληματίζεται με τη μελέτη ιδιοτήτων υπολογισμού όπως φυσικές, τεχνητές και κατά τα άλλα φανταστικές. Το πιο σημαντικό, σχεδιάζει να γνωρίζει το περιβάλλον του επινοητικού υπολογισμού. Το TOC στο επιστήμη των υπολογιστών & τα μαθηματικά είναι το τμήμα που ασχολείται με τον υπολογισμό για την επίλυση των προβλημάτων χρησιμοποιώντας έναν αλγόριθμο. Για να μάθουμε για αυτήν την ιδέα, υπάρχει η διαφορετική θεωρία των βιβλίων υπολογισμού που διατίθεται στην αγορά, δηλαδή «μια εισαγωγή στις γλώσσες και τον υπολογισμό της θεωρίας των αυτομάτων». Αυτό το άρθρο παρέχει μια επισκόπηση της θεωρίας των σημειώσεων υπολογισμού.
Τι είναι η Θεωρία του Υπολογισμού;
Η θεωρία του υπολογισμού είναι επίσης γνωστή ως Θεωρία Automata . Πρόκειται για μια θεωρητική διαίρεση των μαθηματικών καθώς και της πληροφορικής, η οποία ασχολείται κυρίως με τη λογική υπολογισμού σε σχέση με τα αυτόματα. Η θεωρία Automata επιτρέπει στους ερευνητές να γνωρίζουν πώς οι μηχανές υπολογίζουν τις λειτουργίες καθώς και την επίλυση προβλημάτων.
τι-είναι-η-θεωρία-του-υπολογισμού
Η κύρια πρόθεση της ανάπτυξης αυτής της θεωρίας ήταν να επεκτείνει τις τεχνικές για να εξηγήσει και να εξετάσει την ενεργό απόδοση των διακριτών συστημάτων. Το όνομα των αυτόματων εφευρέθηκε από το όνομα automaton. Επειδή είναι παρόμοιο με τον όρο Αυτοματοποίηση '. Η θεωρία των αυτομάτων ή η θεωρία του υπολογισμού ασχολείται κυρίως με τις μορφές υπολογισμού και αναθεωρεί τις περιγραφές και τις ιδιότητές τους. Τα καλύτερα παραδείγματα αυτής της θεωρίας περιλαμβάνουν κυρίως πεπερασμένα αυτόματα, μηχανές Turing και γραμματικές χωρίς διαγωνισμό.
Βασικές ορολογίες TOC
Τώρα, ας γνωρίσουμε τις απαραίτητες ορολογίες των TOC που είναι σημαντικές αλλά και συχνά χρησιμοποιούνται.
Σύμβολο
Είναι το λιγότερο δομικό στοιχείο όπως αλφάβητο, εικόνα ή οποιοδήποτε γράμμα.
Αλφάβητα
Αυτά είναι ένα σύνολο συμβόλων και μπορεί να συμβολιστεί με Σ. Τα αλφάβητα είναι για πάντα σταθερά. Τα καλύτερα παραδείγματα αλφαβήτων περιλαμβάνουν τα ακόλουθα.
Σ = {0,1}
Είναι το αλφάβητο του δυαδικού ψηφίου.
Σ = {0,1,……,9}
Είναι το αλφάβητο του δεκαδικού ψηφίου.
Σ = {α, β, γ}
Σ = {A, B, C,… .Z}
Σειρά
- Πρόκειται για μια περιορισμένη σειρά συμβόλων από διάφορα αλφάβητα, και γενικά, συμβολίζεται με, καθώς και το μήκος της συμβολοσειράς μπορεί να συμβολίζεται με | w |.
- Μια κενή συμβολοσειρά με μηδενικές ποσότητες συμβόλων μπορεί να σημειωθεί με «ε».
- Μπορούν να δημιουργηθούν συμβολοσειρές αριθ. Πάνω από τα αλφάβητα {a, b} όπως a, ab, ba και bb.
- Από τα παραπάνω, το μήκος της συμβολοσειράς είναι | w | = 2 και ένας αριθμός συμβολοσειρών είναι 4.
- Για αλφάβητα {a, b} με μήκος «n», μπορούν να παραχθούν οι συμβολοσειρές no.of είναι 2n.
Γλώσσα
Είναι ένα σύνολο συμβολοσειρών, επιλεγμένο από το Σ *, και μπορεί επίσης να οριστεί ως, είναι ένα τμήμα του Σ * »και μπορεί να δημιουργηθεί πάνω από το« Σ »που μπορεί να είναι περιορισμένο ή ατελείωτο.
Για παράδειγμα: Για πεπερασμένη γλώσσα L1 = [σύνολο ολόκληρων χορδών μήκους 2}
{aa, ab, ba, bb}
Για άπειρη γλώσσα L2 = [σύνολο ολόκληρων χορδών που ξεκινά με 'a'}
{A, αυτό, δύο, το μέγεθος, ΑΑΑ, ΑΒΒ}
Influences of ‘ Σ ‘
Όταν Σ = {a, b} στη συνέχεια
Σ0 = Σύνολο ολόκληρων χορδών πάνω από Σ με 0 μήκη {ε}
Σ1 = Σύνολο ολόκληρων χορδών πάνω από Σ με 1 μήκος {a, b}
Σ2 = Σύνολο ολόκληρων χορδών πάνω από Σ με 2 μήκος {aa, ab, ba, bb}
Δηλαδή, | Σ2 | = 4 & επίσης, | Σ3 | = 8
Σ*-Universal Set.
Σ* = Σ0 * U Σ1 * U Σ2
= {ε} * U {a, b} * U {aa, ab, ba, bb} (άπειρη γλώσσα.)
Καρδιοτητα
Το Cardinality είναι το όχι. του τα στοιχεία μέσα στο σετ.
Λειτουργία μετάβασης
Εφευρέθηκε ένα αυτόματο για να λειτουργεί σε ξεχωριστό χρονικό άκρο σε ένα μόνο χρονικό σημείο και η μονάδα ελέγχου βρίσκεται σε κάποια εσωτερική κατάσταση και η συσκευή εισόδου θα σαρώσει ένα συγκεκριμένο σύμβολο στην ταινία εισόδου. Η εσωτερική κατάσταση αυτής της μονάδας ελέγχου στο επόμενο χρονικό σημείο ή βήμα καλείται η επόμενη κατάσταση ή η συνάρτηση μετάβασης.
Αυτή η συνάρτηση μετάβασης δίνει την επόμενη κατάσταση όσον αφορά την τρέχουσα κατάσταση, το τρέχον σύμβολο εισόδου στην κασέτα εισόδου και τις πληροφορίες που βρίσκονται επί του παρόντος στην προσωρινή αποθήκευση. Κατά τη μετάβαση από το ένα βήμα στο επόμενο βήμα, η έξοδος μπορεί να δημιουργηθεί ή οι πληροφορίες στον προσωρινό χώρο αποθήκευσης ενδέχεται να αλλάξουν.
Κίνηση
Η διαμόρφωση λέξεων αναφέρεται κυρίως σε μια ακριβή κατάσταση μονάδας ελέγχου, την προσωρινή αποθήκευση και την ταινία i / p. Μια κίνηση μπορεί να οριστεί καθώς είναι η μετατροπή από τη μία φάση στην επόμενη φάση.
Θεωρία των υπολογιστικών οφελών
Η ιδέα TOC θα σας διδάξει σχετικά με τους βασικούς τρόπους με τους οποίους ένας υπολογιστής μπορεί να είναι έτοιμος να φανταστεί. Υπάρχει μια τεράστια συμφωνία εργασίας που έγινε εφικτή στο τμήμα του NLP (Επεξεργασία Φυσικής Γλώσσας) που συμμετείχε στην κατασκευή FSM (Μηχανές Πεπερασμένων Κρατών) το οποίο είναι επίσης γνωστό ως FSA (Finite State Automata).
Γνωρίστε τους μαθηματικούς κανόνες που οδηγούν σε ικανοποιητικό υπολογισμό και εφαρμόστε αυτήν τη συνειδητοποίηση για την αντιμετώπιση προβλημάτων που συμβαίνουν σε άλλα τμήματα της επιστήμης των υπολογιστών και των μαθηματικών, καθώς και σε επιπλέον τομείς όπως η φυσική και η νευροεπιστήμη.
Ερευνητικές περιοχές TOC
Οι ερευνητικοί τομείς της θεωρίας του υπολογισμού εμπλέκονται κυρίως στους ακόλουθους τομείς.
- Κρυπτογράφηση
- Σχεδιασμός & Ανάλυση Αλγορίθμων
- Κβαντικός υπολογισμός
- Λογική στην Επιστήμη των Υπολογιστών
- Υπολογιστική δυσκολία
- Τυχαιότητα στον Υπολογισμό
- Διόρθωση Σφάλματα σε κωδικούς
Έτσι, όλα αυτά αφορούν το φροντιστήριο θεωρίας υπολογισμού . Είναι η βασική πορεία της επιστήμης των υπολογιστών και θα σας βοηθήσει να μάθετε πώς το έχουν σκεφτεί οι άνθρωποι, όπως η επιστήμη των υπολογιστών είναι μια επιστήμη τα τελευταία χρόνια. Πρόκειται κυρίως για τον τύπο εξοπλισμού που μπορείτε πραγματικά να υπολογίσετε αυτόματα και πόσο γρήγορα μπορείτε να το εκτελέσετε, καθώς και πόσα κενά αποκτά για να το κάνετε. Αυτή είναι η μελέτη των θεωρητικών υπολογιστικών συσκευών. Οι υπολογισμοί γίνονται παντού όπως στον υπολογιστή σας, στο κινητό σας, αλλά και στη φύση. Εδώ είναι μια ερώτηση για εσάς, ποια είναι η καλή θεωρία των βιβλίων υπολογισμού , παρακαλώ αφήστε το στο σχόλιο.
