Notes on Cambridge Maths

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Grammar

is a grammar if is a RWS.
is the start symbol.

Assume and ,
is the set of alphabet letters
is the set of variables

is the set of words
is a formal language.
Derivable Strings
Variable-based Grammar
Set of all Grammars

Definition

Two grammars are equivalent if they generate the same Formal Language.

Proposition

Isomorphic grammars are equivalent.

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Graph View

Backlinks