Formal Languages and Translators

Internal

• Programming

Formal Grammars

https://en.wikipedia.org/wiki/Formal_grammar

Context-Free Grammar

A set of production rules that describe all possible strings in a given formal language. The rules describe how to form strings from the language's alphabet that are valid according to the language syntax. The grammar does not describe the meaning of strings, or what can be done with them in whatever context, only their form. A popular notation for context-free grammar is Backus-Naur (BNF).

Backus-Naur Form

https://en.wikipedia.org/wiki/Backus–Naur_form

Backus-Naur form is notation technique for context-free grammars that is used to describe the syntax of languages used in computing.