Indexed Grammars—An Extension of Context-Free Grammars | Synapse