Category:Formal languages

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
lenguaje formal (es); bahasa formal (ms); Формален език (bg); Biçimsel dil kuramı (tr); 形式語言 (zh-hk); formálny jazyk (sk); формальна мова (uk); 形式語言 (zh-hant); 形式语言 (zh-cn); 형식 언어 (ko); formala lingvo (eo); formální jazyk (cs); Formalni jezik (bs); langage formel (fr); بهاس فورمل (ms-arab); ngôn ngữ hình thức (vi); формални језик (sr); 形式语言 (zh-sg); formelt språk (nn); formelt språk (nb); Formal dillər (az); زمانی شێوەیی (ckb); formal language (en); لغة شكلية (ar); ߞߊ߲߫ ߛߎ߯ߦߊ (nqo); 形式語言 (yue); formális nyelv (hu); llinguaxe formal (ast); формальный язык (ru); formale Sprache (de); Lenguagg formal (lmo); фармальная мова (be); формални језик (sr-ec); 形式語言 (zh); Formelt sprog (da); 形式言語 (ja); שפה פורמלית (he); формал тел (tt); औपचारिक भाषा (hi); formaali kieli (fi); lingua formal (lfn); linguaggio formale (it); Langaj fòmèl (ht); фармальная мова (be-tarask); формал тел (tt-cyrl); τυπική γλώσσα (el); linguagem formal (pt); 形式语言 (zh-hans); 形式語言 (zh-tw); formal leid (sco); Formali kalba (lt); formele taal (nl); Lenguaige formal (mwl); формален јазик (mk); llenguatge formal (ca); ภาษารูปนัย (th); język formalny (pl); bahasa formal (id); Formalni jezik (sh); teanga fhoirmeálta (ga); زبان صوری (fa); limbaj formal (ro); formellt språk (sv); linguaxe formal (gl); Formalni jezik (hr); lenguajo formałe (vec); formalni jezik (sr-el) lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados (es); 文章を規定の解釈のみ可能な言語 (ja); ensemble de chaînes de symboles contraintes par des règles (fr); insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito, che possono essere soggette a regole specifiche (it); 一組符號字符串,可能受特定於它的規則約束' (zh); Tipo de linguagem normativa de um idioma. (pt); множина скінчених послідовностей символів, які описуються правилами певного виду (uk); conxuntu de cadenes de símbolos que puen unise con regles específiques pa él, colos símbolos sacaos d'un alfabetu, y onde les regles pa unir esos símbolos tán especificaes formalmente (ast); исчисление, обычно цепочек, над конечным алфавитом (ru); linguaxe cuxos símbolos primitivos e reglas para unir estes símbolos están formalmente especificados (gl); abstrakte Sprache, die mathematisch ausgedrückt und verwendet wird (de); tietojenkäsittelytieteessä, matematiikassa ja logiikassa äärellisen pituisten merkkijonojen joukko, jotka on muodostettu jostakin äärellisestä aakkostosta (fi); set of strings of symbols that may be constrained by rules that are specific to it; words whose letters are taken from an alphabet and are well-formed according to a specific set of rules (en); مجموعة من سلاسل الرموز التي قد تكون مقيدة بقواعد خاصة بها ؛ كلمات مأخوذة أحرفها من الأبجدية ويتم تشكيلها بشكل جيد وفقًا لمجموعة معينة من القواعد (ar); množina konečných řetězců nad určitou abecedou (cs); קבוצה של סימנים במתמטיקה, לוגיקה ומדעי המחשב (he) lenguajes formales (es); théorie des langages (fr); Umjetni jezik (hr); llinguaxes formales (ast); формализированный язык, формализованный язык (ru); Wortmenge, formale Programmiersprache (de); Teoria das linguagens formais e dos autômatos, Lfa, Linguagens formais, Linguagens formais e compiladores (pt); Formalització (ca); زبان های فرمال, زبان فرمال, زبان‌های فرمال, زبان‌های صوری, زبان های صورت گرا, زبان های صوری, زبان‌های صورت‌گرا (fa); 形式化语言, 补语言, 形式语言 (zh); Језик, Формална лингвистичка анализа, Формални језици, Формални израз, Формалан језик (sr); limbaje formale (ro); 形式言語理論 (ja); Formelle sprog (da); linguaggi formali (it); Języki formalne (pl); formalspråk (nn); שפות פורמליות (he); Formele talen (nl); 형식언어 (ko); Формални езици (bg); мови формальні, формальні мови (uk); formaalinen kieli, muodollinen kieli (fi); linguaxes formais (gl); لغه شكليه (ar); Θεωρία τυπικών γλωσσών (el); ߗߏ߯ߦߊ, ߦߋߢߊ, ߞߍߢߊ, ߛߎ߯ߦߊ (nqo)
formal language 
set of strings of symbols that may be constrained by rules that are specific to it; words whose letters are taken from an alphabet and are well-formed according to a specific set of rules
Syntax tree.svg
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Instance oflinguistics term,
computer science term
Subclass offormal system,
set (word),
language
Has use
  • foundations of mathematics (formalism)
Different from
  • formalized language
  • artificial language
  • language
  • formal language
Authority control
Edit infobox data on Wikidata

Subcategories

This category has the following 17 subcategories, out of 17 total.

A

C

F

G

L

P

R

S

T

Media in category "Formal languages"

The following 58 files are in this category, out of 58 total.