Definition:Balanced String

Definition
Let $S$ be a string in an alphabet containing brackets.

Also see

 * Equivalence of Definitions of Balanced String


 * WFF of PropLog is Balanced‎