Post production is a grammar language created in 1941 by Emil Post.
Alphabet: {[, ]} Initial word: [] Production rules: (1) $ → [$] (2) $ → $ (3) $1$2 → $1[]$2