Υπολογισμός: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας |
|||
Γραμμή 8:
== Υπολογισμοί ως φυσικό φαινόμενο ==
Ένας υπολογισμός μπορεί να θεωρηθεί ως ένα αμιγώς φυσικό φαινόμενο που συμβαίνει μέσα σε κάποιο κλειστό [[φυσικό σύστημα]], το οποίο λέγεται [[υπολογιστής]]. Παραδείγματα τέτοιων φυσικών συστημάτων περιλαμβάνουν τους [[ψηφιακός υπολογιστής|ψηφιακούς υπολογιστές]], τους [[κβαντικός υπολογιστής|κβαντικούς υπολογιστές]], τους [[υπολογιστής DNA|υπολογιστές DNA]], τους [[μοριακός υπολογιστής|μοριακούς υπολογιστές]], τους [[αναλογικός υπολογιστής|αναλογικούς υπολογιστές]] ή τους [[βιολογικός υπολογιστής|βιολογικούς υπολογιστές]] (wetware). Αυτή η άποψη υιοθετείται από τον κλάδο της θεωρητικής φυσικής που ονομάζεται [[φυσική υπολογισμού]].
== Μαθηματικά μοντέλα υπολογισμού ==
Στη [[θεωρία υπολογισμού]], εχουν αναπτυχθεί ποικίλα μαθηματικά μοντέλα υπολογιστών και του λογισμικού τους.
Τυπικά μαθηματικά [[μοντέλο υπολογισμού|μοντέλα υπολογισμού]] είναι τα ακόλουθα:
* Μοντέλα καταστάσεων, όπως: [[μηχανή Τούρινγκ]], [[αυτόματο με στοίβα]], [[αυτόματο πεπερασμένων καταστάσεων]], και [[PRAM]]
* Συναρτησιακά μοντέλα όπως ο [[λογισμός λάμδα]]
* Λογικά μοντέλα όπως ο [[λογικός προγραμματισμός]]
* Ταυτόχρονα (concurrent) μοντέλα όπως ο [[λογισμός διεργασιών]] (process calculus)
{{Μεταφρασμένο|en|computation}}
| |||