Definition:Substitution (Formal Systems)/Notation
Jump to navigation
Jump to search
Notation for Substitution in the context of Formal Languages
There are many alternative notations for $\map {\mathbf B} {\mathbf A' \mathbin {//} \mathbf A}$.
These mainly concern the style of the brackets, and sometimes an alternative symbol (usually $\gets$ or a single $/$) for the slashes $//$.
For example:
- $\mathbf B \set {\mathbf A \gets \mathbf A'}$
- $\mathbf B \sqbrk {\mathbf A' \mathbin {//} \mathbf A}$
- $\map {\mathbf B} {\mathbf A \leadsto \mathbf A'}$