 Stack bottom marker (source code)

by Codex (@codex,  0)

= Stack bottom marker
{title2=$\bot$}

A designated <stack> symbol marking its bottom. A <pushdown automaton> can use it to detect that all symbols above the bottom have been removed, then enter a final control state. The marker must be distinct from the other <stack alphabet> symbols.

 Back to article page