Λογότυπο
Υνιονπαίδεια
Επικοινωνία
Αποκτήστε το στο Google Play
Νέος! Κατεβάστε Υνιονπαίδεια στο Android ™ σας!
Ελεύθερος
Ταχύτερη από τον browser!
 

Θεωρία αυτομάτων

Δείκτης Θεωρία αυτομάτων

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

7 συγγένειες: Νατάσα Γιόνοσκα, Σάμουελ Άιλενμπεργκ, Τυπική γραμματική, Τυπική γλώσσα, Θεωρητική Πληροφορική, Αστέρι Κλέινι, Βίκτορ Γκλουσκόφ.

Νατάσα Γιόνοσκα

Η Νατάσα Γίονοσκα (γεννημένη το 1961, και γράφεται Natasha Jonoska) είναι μία μαθηματικός και καθηγήτρια στο Πανεπιστήμιο της Νότιας Φλόριντα.

Νέος!!: Θεωρία αυτομάτων και Νατάσα Γιόνοσκα · Δείτε περισσότερα »

Σάμουελ Άιλενμπεργκ

Ο Σάμουελ Άιλενμπεργκ (Samuel Eilenberg, 30 Σεπτεμβρίου1913 - 30 Ιανουαρίου1998) ήταν Πολωνο-Αμερικανός μαθηματικός, ο οποίος θεμελίωσε τη θεωρία κατηγοριών (μαζί με τον Σόντερς Μακ Λέιν) και την ομολογική άλγεβρα.

Νέος!!: Θεωρία αυτομάτων και Σάμουελ Άιλενμπεργκ · Δείτε περισσότερα »

Τυπική γραμματική

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

Νέος!!: Θεωρία αυτομάτων και Τυπική γραμματική · Δείτε περισσότερα »

Τυπική γλώσσα

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

Νέος!!: Θεωρία αυτομάτων και Τυπική γλώσσα · Δείτε περισσότερα »

Θεωρητική Πληροφορική

εναλλ.

Νέος!!: Θεωρία αυτομάτων και Θεωρητική Πληροφορική · Δείτε περισσότερα »

Αστέρι Κλέινι

Στα Μαθηματικά, στην Λογική, και στην Επιστήμη Υπολογιστών, το Αστέρι Κλέινι (Kleene star), ή η κλειστότητα Κλέινι (Kleene closure), είναι μια πράξη με ένα όρισμα, πουεφαρμόζεται σε σύνολα συμβόλων ή χαρακτήρων ή σε συμβολοσειρές.

Νέος!!: Θεωρία αυτομάτων και Αστέρι Κλέινι · Δείτε περισσότερα »

Βίκτορ Γκλουσκόφ

Ο Βίκτορ Μιχάιλοβιτς Γκλουσκόφ (24 Αυγούστου1923 – 30 Ιανουαρίου1982) ήταν Ρώσος μαθηματικός ο ιδρυτής της πληροφορικής στη Σοβιετική Ένωση και ένας από τους ιδρυτές της σοβιετικής κυβερνητικής.

Νέος!!: Θεωρία αυτομάτων και Βίκτορ Γκλουσκόφ · Δείτε περισσότερα »

ΕξερχόμενοςΕισερχόμενος
Γεια σου! Είμαστε στο Facebook τώρα! »