Post production - Grammar language

Post production is a grammar language created in 1941 by Emil Post.

#1860on PLDB

83Years Old

Example from the web:

Alphabet: {[, ]}
Initial word: []
Production rules: 
(1)       $ → [$]
(2)       $ → $
(3)       $1$2 → $1[]$2

PLDB - Build the next great programming language · About · Acknowledgements · Extensions · Day 625 · feedback@pldb.io