Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00213650n
Noun Concept
Categories: Τυπικές γλώσσες, Μαθηματική λογική, Θεωρητική πληροφορική
EL
τυπική γλώσσα  Θεωρία τυπικών γλωσσών  επίσημη γλώσσα  επίσημη γλώσσα θεωρία
EL
Στα διακριτά μαθηματικά, στη μαθηματική λογική, στη θεωρητική πληροφορική και στη γλωσσολογία, μια τυπική γλώσσα ή απλώς γλώσσα είναι η γλώσσα που ορίζεται από ακριβείς μαθηματικούς τύπους, ή τύπους που μπορεί να επεξεργαστεί μια μηχανή. Wikipedia
Definitions
Relations
Sources
EL
Στα διακριτά μαθηματικά, στη μαθηματική λογική, στη θεωρητική πληροφορική και στη γλωσσολογία, μια τυπική γλώσσα ή απλώς γλώσσα είναι η γλώσσα που ορίζεται από ακριβείς μαθηματικούς τύπους, ή τύπους που μπορεί να επεξεργαστεί μια μηχανή. Wikipedia
IS A
σύνολο
τυπικό σύστημα
HAS PART
τυπική γραμματική
EN
well-formed formula
EN
word
EN
string of formal language
HAS KIND
αρχιτεκτονική γλώσσα περιγραφής
γλώσσα οντολογίας
γλώσσες μοντελοποίησης λογισμικού
θεωρία
αναδρομικά αριθμήσιμα γλώσσα
+5 relations
HAS INSTANCE
γλώσσα μηχανής
EN
Daplex
Επικοινωνούσες Ακολουθιακές Διεργασίες
EN
Universal Networking Language
EN
Simple Knowledge Organization System
+6 relations
DIFFERENT FROM
τεχνητή γλώσσα
γλώσσα
EN
formalized language
HAS QUALITY
επίσημη σημασιολογία
τυπική γραμματική
OPPOSITE OF
φυσική γλώσσα
USE
θεμέλια των μαθηματικών
Wikipedia
EL
τυπική γλώσσα
Wikidata
EL
τυπική γλώσσα
Wiktionary
EL
τυπική γλώσσα
Wikipedia Redirections
EL
θεωρία τυπικών γλωσσών
Wikidata Alias
EL
Θεωρία τυπικών γλωσσών
Wikipedia Translations
EL
επίσημη γλώσσα, επίσημη γλώσσα θεωρία

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License