https://www.theoryofcomputation.co/context-sensitive-grammar-and-linear-bounded-automata/