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.
New to topics? Read the docs here!