Abstract

A graphical technique is developed to represent derivations in strictly context-sensitive grammars, where the context symbols are not rewritten. The resulting context-sensitive syntactical graphs represent an equivalence class of derivation sequences, and the canonical derivation can be obtained from a well-defined pre-order traversal of the context sensitive syntactical graph. The advantage of context-sensitive rules over monotonic rules in certain cases is shown, and the desirability of mixed grammars is also mentioned. The context-sensitive syntactical graphs and their corresponding canonical derivation sequences extend the techniques used for type 0 derivations.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call