Link zu diesem Datensatz |
https://d-nb.info/gnd/4017848-1 |
Sachbegriff |
Formale Sprache |
Quelle |
M |
Synonyme |
FormalspracheKalkülspracheKünstliche Sprache |
Oberbegriffe |
Kunstsprache |
Thematischer Bezug |
Verwandter Begriff: Logische Sprache |
DDC-Notation |
005.131511.3 |
Systematik |
30 Informatik, Datenverarbeitung |
Typ |
Allgemeinbegriff (saz) |
Andere Normdaten |
LCSH: Formal languagesRAMEAU: Langages formels |
Beispiele |
2 Begriffe String diagramBeispiel für: Formale Sprache Universal Networking LanguageBeispiel für: Formale Sprache |
Untergeordnet |
13 Datensätze AuthomathFormale Sprache BildbeschreibungsspracheFormale Sprache ... |
Thema in |
321 Publikationen Automaten und Sprachen - theoretische Informatik für die PraxisMüller, Andreas. - Berlin, Germany : Springer Vieweg, [2024] Languages and automataBerlin : De Gruyter, [2024] ... |
Maschinell verknüpft mit |
18 Publikationen Counting and sliding verifying and restoring healthy systemsGrobler, Mario. - Bremen : Staats- und Universitätsbibliothek Bremen, 2024 Generative and Computational Power of Combinatory Categorial GrammarSchiffer, Lena Katharina. - Leipzig : Universitätsbibliothek Leipzig, 2024 ... |