Context-Sensitive Grammar → Derivation Tree Visualizer

Each production line is "α -> β" with space-separated symbols, e.g. a A b -> a B b. Symbols starting with an uppercase letter are nonterminals; everything else is a terminal. The start symbol must be S. Use ε / eps for an empty right-hand side. Click Generate Parse Tree to search for a derivation of the input string (bounded breadth-first search), then Run to animate it.