Accession Number : AD0284383

Title :   QUOTIENTS OF CONTEXT FREE LANGUAGES

Corporate Author : SYSTEM DEVELOPMENT CORP SANTA MONICA CALIF

Personal Author(s) : GINSBURG,SEYMOUR ; SPANIER,EDWIN H.

Report Date : 09 JUL 1962

Pagination or Media Count : 1

Abstract : The following results on the quotient of context free languages CFL are shown: (1) It is recursively unsolvable to determine for arbitrary CFL whether the quotient of one by another is a CFL. (2) If either set is regular and the other is a CFL, then the quotient is a CFL. (Author)

Descriptors :   *LANGUAGE, ALGEBRAS, AUTOMATION, MATHEMATICAL LOGIC, PROGRAMMING (COMPUTERS), SEQUENCES(MATHEMATICS)

Distribution Statement : APPROVED FOR PUBLIC RELEASE