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
ADEPT
process modeling language
architecture description language
formal language for architecture description and representation
recursively enumerable language
a formal language that can be output (enumerated) by an algorithm (mathematical logic, computability theory)
Enterprise Privacy Authorization Language
formal language
Guarded Command Language
formal language for predicate transformer semantics introduced by by Edsger Dijkstra
finite language
language containing a finite number of words
Automath
formal language
Chinese character description language
formal language and notation, allowing to describe Hanzi characters in a standard uniform way
pattern language
class of strings generated from a pattern by substitutions, in formal language theory and machine learning
L-system
language used to describe self-similar fractal systems
local language
in mathematics, some kind of formal language
indexed language
formal language
eXtensible Server Pages
XML-based language
ontology language
formal language used to construct ontologies
cyclic language
set of strings closed w.r.t. cyclic shift, repetition, and root
machine code
set of instructions executed directly by a computer's central processing unit (CPU)
description logic
family of formal knowledge representation languages
modeling language
artificial language that can be used to express information or knowledge or systems in a structure that is defined by a consistent set of rules
Semantic Web Rule Language
proposed language for the Semantic Web that can be used to express rules as well as logic
theory
set of sentences in a formal language
computer language
formal language used in communication with a computer
communicating sequential processes
formal language for concurrent systems
elocution
study of formal speaking in pronunciation, grammar, style, and tone
Planning Domain Definition Language
planning programming language
proof calculus
formal language that specifies allowed ways to prove a statement
Universal Networking Language
declarative formal language that represents semantic data in texts
Simple Knowledge Organization System
W3C recommendation designed for representation of thesauri, classification schemes, taxonomies, subject-heading systems, or other structured controlled vocabularies