- Applied mathematics
- >
- Theoretical computer science
- >
- Formal languages
- >
- Metalanguages

- Combinatorics
- >
- Combinatorics on words
- >
- Formal languages
- >
- Metalanguages

- Deductive reasoning
- >
- Metalogic
- >
- Formal languages
- >
- Metalanguages

- Fields of mathematics
- >
- Mathematical logic
- >
- Formal languages
- >
- Metalanguages

- Philosophy of mathematics
- >
- Formalism (deductive)
- >
- Formal languages
- >
- Metalanguages

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Formal languages
- >
- Metalanguages

Metasyntax

In logic and computer science, a metasyntax describes the allowable structure and composition of phrases and sentences of a metalanguage, which is used to describe either a natural language or a compu

Augmented Backus–Naur form

In computer science, augmented Backus–Naur form (ABNF) is a metalanguage based on Backus–Naur form (BNF), but consisting of its own syntax and derivation rules. The motive principle for ABNF is to des

Extended Backus–Naur form

In computer science, extended Backus–Naur form (EBNF) is a family of metasyntax notations, any of which can be used to express a context-free grammar. EBNF is used to make a formal description of a fo

Wirth syntax notation

Wirth syntax notation (WSN) is a metasyntax, that is, a formal way to describe formal languages. Originally proposed by Niklaus Wirth in 1977 as an alternative to Backus–Naur form (BNF). It has severa

Metalanguage

In logic and linguistics, a metalanguage is a language used to describe another language, often called the object language. Expressions in a metalanguage are often distinguished from those in the obje

OGML

Ontology Grounded Metalanguage (OGML) is a metalanguage like MOF. The goal of OGML is to tackle the difficulties of MOF: linear modeling architecture, ambiguous constructs and incomprehensible/unclear

Backus–Naur form

In computer science, Backus–Naur form (/ˌbækəs ˈnaʊər/) or Backus normal form (BNF) is a metasyntax notation for context-free grammars, often used to describe the syntax of languages used in computing

© 2023 Useful Links.