Uniquely inversible grammar

From Infogalactic: the planetary knowledge core
(Redirected from Uniquely Inversible Grammar)
Jump to: navigation, search

Lua error in package.lua at line 80: module 'strict' not found.

A uniquely inversible grammar is a formal grammar where no two distinct productions give the same result. This implies the specific production can be inferred from its results.

Formal definition

A \to \alpha \and B \to \beta \iff (A <> B \Rightarrow \alpha <> \beta)

Examples

Uniquely inversibles

A \to aA | bB

B \to b | a

Not uniquely inversibles[citation needed]

A \to aA | bB

B \to bB | a