Document Type

Technical Report

Publication Date

Summer 8-1-1979

Abstract

OS systems generalize context-free grammars without non-terminals. It is shown that it is decidable whether or not two arbitrary OS systems generate the same set of (derivation) sequences. As a corollary we get that it is decidable whether or not two arbitrary context-free grammars have the same sets of derivation sequences.

Share

COinS