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

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

Δείκτης Τυπική γλώσσα

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

13 συγγένειες: Κανονική έκφραση, Κανονική γλώσσα, Πρόβλημα απόφασης, Συμβολοσειρά, Τυπική σημασιολογία, Υποσύνολο, Μηχανή Τούρινγκ, Θεωρία αυτομάτων, Αλφάβητο (μαθηματικά), Γλώσσα προγραμματισμού, Άστρο του Κλήνυ, Ιεραρχία Τσόμσκι, 1979.

Κανονική έκφραση

Οι κανονικές εκφράσεις ή κανονικές παραστάσεις (regular expressions, regexp ή regex) χρησιμοποιούνται για την περιγραφή γλωσσών με απλά σύμβολα, το \emptyset και συνδυασμούς πουπροκύπτουν με εφαρμογή ένωσης (\cup), τουαστεριού Κλέινι (Kleene Star) (^*) ή και παρενθέσεων.

Νέος!!: Τυπική γλώσσα και Κανονική έκφραση · Δείτε περισσότερα »

Κανονική γλώσσα

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

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

Πρόβλημα απόφασης

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

Νέος!!: Τυπική γλώσσα και Πρόβλημα απόφασης · Δείτε περισσότερα »

Συμβολοσειρά

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

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

Τυπική σημασιολογία

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

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

Υποσύνολο

Στα μαθηματικά, ένα σύνολο X ονομάζεται υποσύνολο ενός συνόλουY και συμβολίζουμε με X \subseteq Y, εάν κάθε στοιχείο τουX είναι και στοιχείο (ανήκει) τουY δηλαδή ισχύει: Για παράδειγμα, το X.

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

Μηχανή Τούρινγκ

Η Μηχανή Τούρινγκ είναι μια υποθετική συσκευή η οποία χειρίζεται σύμβολα σύμφωνα με ένα σύνολο κανόνων.

Νέος!!: Τυπική γλώσσα και Μηχανή Τούρινγκ · Δείτε περισσότερα »

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

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

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

Αλφάβητο (μαθηματικά)

Ένα από τα βασικότερα στοιχεία της θεωρίας της πληροφορίας και της επιστήμης των υπολογιστών είναι το αλφάβητο.

Νέος!!: Τυπική γλώσσα και Αλφάβητο (μαθηματικά) · Δείτε περισσότερα »

Γλώσσα προγραμματισμού

Γλώσσα προγραμματισμού λέγεται μια τεχνητή γλώσσα πουμπορεί να χρησιμοποιηθεί για τον έλεγχο μιας μηχανής, συνήθως ενός υπολογιστή.

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

Άστρο του Κλήνυ

#ΑΝΑΚΑΤΕΥΘΥΝΣΗΑστέρι Κλέινι.

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

Ιεραρχία Τσόμσκι

To 1956 ο Νόαμ Τσόμσκι ταξινόμησε τις τυπικές γραμματικές σε ιεραρχία με κριτήριο τους τύπους των κανόνων παραγωγής τους.

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

1979

Η παρούσα σελίδα αφορά το έτος 1979 κατά το Γρηγοριανό ημερολόγιο.

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

Επαναπροσανατολίζει εδώ:

Θεωρία τυπικών γλωσσών.

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