# Uniquely inversible grammar

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

${\displaystyle A\to \alpha \land B\to \beta \iff (A<>B\Rightarrow \alpha <>\beta )}$

## Examples

Uniquely inversibles

${\displaystyle A\to aA|bB}$

${\displaystyle B\to b|a}$

Not uniquely inversibles

${\displaystyle A\to aA|bB}$

${\displaystyle B\to bB|a}$