Document Type

Technical Report

Publication Date

Fall 9-1-1978

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 (derivation0 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