Αποτελέσματα αναζήτησης

...πράξεων, όπως χρησιμοποιείται στα μαθηματικά και σε πολλές από τις γλώσσες προγραμματισμού είναι: ...εφαρμογές (για παράδειγμα στο [[Microsoft Excel]]) και σε μερικές γλώσσες προγραμματισμού (για παράδειγμα στη γλώσσα bc), ο τελεστής έχει ψηλότερη προτεραιότητα από ...

==Τυπικές Γλώσσες== ...ρι Κλέινι είναι πράξη που μπορεί να εφαρμόζεται σε [[τυπική γλώσσα|τυπικές γλώσσες]]. Έστω γλώσσα <math>L</math>, τότε <math>L^*</math> είναι το σύνολο συμβολ ...

...ματισμός|συναρτησιακές γλώσσες προγραμματισμού]] αλλά και σε άλλες γλώσσες προγραμματισμού όπου ο ρόλος της συνάρτησης έχει πρωταρχικής χρήσης όπως τα υπόλοιποι τύποι ...λώσσα προγραμματισμού [[Lisp]] το 1958 και σήμερα πολλές σύγχρονες γλώσσες προγραμματισμού υποστηρίζουν ανώνυμες συναρτήσεις (για παράδειγμα η C++11<ref>{{cite web|ti ...

== Τυπικές Γλώσσες == Οι γλώσσες προγραμματισμού επιτρέπουν τον ορισμό και την διαχείριση σειρών χαρακτήρων. ...

...ντικό ρόλο στη σχεδίαση των [[σύστημα τύπων|συστημάτων τύπων]] των γλωσσών προγραμματισμού, όπου η τυποποιησιμότητα συνήθως εκφράζει επιθυμητές ιδιότητες του προγράμμ ...guage for Computable Functions'') είναι μια πρωτότυπη γλώσσα συναρτησιακού προγραμματισμού με τύπους, στην οποία οι τύποι χρησιμοποιούνται για να βεβαιωθεί ότι τα προ ...

[[Κατηγορία:Τυπικές γλώσσες]] ...

Όπως και οι γλώσσες στη [[γλωσσολογία]], οι τυπικές γλώσσες έχουν γενικά δυο πλευρές: * πεπερασμένες γλώσσες, όπως η <math> L = \{a,\ aa,\ bba \}</math> ...

=== Μοναδιαίοι τελεστές στις γλώσσες προγραμματισμού === Οι περισσότερες γλώσσες προγραμματισμού έχουν μοναδιαίους τελεστές. Κάποιοι από τους πιο κοινούς δίνονται παρακάτω. ...

...'γενικοί τύποι δεδομένων''' αντίστοιχα και σχηματίζουν τη βάση του γενικού προγραμματισμού. ...ard ML]], [[OCaml]], [[Ada]], [[Haskell]], [[Visual Prolog]] και άλλες. Οι γλώσσες [[Java]], [[C#]], [[Visual Basic .NET]] και Delphi (CodeGear) πρόσφατα εισή ...

...ς μικρότερου μήκους από αυτό της αρχικής συμβολοσειράς. Γι'αυτό άλλωστε οι γλώσσες αυτές ονομάζονται μονοτονικές. [[Κατηγορία:Τυπικές γλώσσες]] ...

...ού]], και μια θεωρητική βάση γλωσσών όπως η [[Haskell]] και η [[ML (γλώσσα προγραμματισμού)|ML]]. Το Σύστημα F επινοήθηκε ανεξάρτητα από τον [[λογικολόγο]] [[Ζαν-Υβ Ζ ==Χρήση στις γλώσσες προγραμματισμού== ...

== Γλώσσες προγραμματισμού == Στις [[Γλώσσα προγραμματισμού|γλώσσες προγραμματισμού]], οι πλειάδες αποτελούν μία από τις βασικές [[Δομή δεδομένων|δομές δεδομέν ...

[[Κατηγορία:Τυπικές γλώσσες]] [[Κατηγορία:Δομές προγραμματισμού]] ...

...χρησιμοποιείται στις [[Συναρτησιακός προγραμματισμός|γλώσσες συναρτησιακού προγραμματισμού]]. Η τεχνική χρησιμοποιήθηκε για πρώτη φορά από τον Chris Wadsworth το 1971 ...υνδυαστών''' είναι μια βασική τεχνική υλοποίησης για γλώσσες συναρτησιακού προγραμματισμού, στην οποία ένα πρόγραμμα απεικονίζεται σε [[Λογισμός λάμδα|συνδυαστές]] πο ...

...οια των μηχανισμών τυπικών εκφράσεων που παρέχουν πολλές σύγχρονες γλώσσες προγραμματισμού). ...uages}}</ref> Στην [[Ιεραρχία Τσόμσκι|ιεραρχία του Chomsky]], οι κανονικές γλώσσες ορίζονται ως εκείνες που παράγονται από γραμματικές τύπου 3 ([[Κανονική γρα ...

...η [[Clean (γλώσσα προγραμματισμού)|Clean]], η [[Haskell]], η [[ML (γλώσσα προγραμματισμού)|ML]], η [[OCaml]] και η [[Scala]]. Επίσης πρόκειται να υποστηρίζεται από τ ...ι από σημειώσεις τύπων (type annotations). Για παράδειγμα, στη [[C (γλώσσα προγραμματισμού)|C]]: ...

...ρες για ορισμένες εφαρμογές. Σε κάποια περιβάλλοντα, όπως αυτό της γλώσσας προγραμματισμού [[Lisp]], ο όρος λίστα μπορεί να αναφέρεται ειδικά σε συνδεδεμένη λίστα κα **Στις μοντέρνες [[γλώσσα προγραμματισμού|γλώσσες προγραμματισμού]], η ισότητα μεταξύ λιστών ορίζεται φυσιολογικά σε όρους [[Κατασκευαστική ι ...

...ς να γραφτεί η διαίρεση στις περισσότερες [[γλώσσα προγραμματισμού|γλώσσες προγραμματισμού]], αφού είναι ευκολότερο να δακτυλογραφηθεί ως απλή σειρά χαρακτήρων. ..., θα θεωρήσουν διαίρεση των ακεραίων όπως στην περίπτωση 4 παραπάνω. Άλλες γλώσσες, όπως η [[MATLAB]], πρώτα θα μετατρέψουν τους ακέραιους σε πραγματικούς αρι ...

...ι [[πλειάδα (γλώσσες προγραμματισμού)|πλειάδες]] και οι [[Εγγραφή (γλώσσες προγραμματισμού)|εγγραφές]] (που έχουν μόνο έναν κατασκευαστή), οι [[τύπος αθροίσματος|τύπο == Γλώσσες προγραμματισμού με αλγεβρικούς τύπους δεδομένων == ...

=== Γλώσσες === ...' = 20³ = 8.000 κτλ, και χρησιμοποιούσαν το σύστημα αυτό στην [[Γλώσσες Μάγια|γλώσσα τους]] και στο [[Ημερολόγιο των Μάγιας|ημερολόγιο τους]], ενώ ...