WorldCat Identities

Greibach, Sheila 1939-

Overview
Works: 24 works in 57 publications in 2 languages and 643 library holdings
Classifications: QA76.6, 001.642
Publication Timeline
Key
Publications about  Sheila Greibach Publications about Sheila Greibach
Publications by  Sheila Greibach Publications by Sheila Greibach
Most widely held works about Sheila Greibach
 
Most widely held works by Sheila Greibach
Theory of program structures : schemes, semantics, verification by Sheila Greibach ( Book )
20 editions published between 1974 and 2007 in 3 languages and held by 394 WorldCat member libraries worldwide
Studies in abstract families of languages by Seymour Ginsburg ( Book )
9 editions published in 1969 in English and held by 210 WorldCat member libraries worldwide
Inverses of phrase structure generators by Sheila Greibach ( Book )
5 editions published in 1963 in English and held by 11 WorldCat member libraries worldwide
Principal AFL by Seymour Ginsburg ( Book )
1 edition published in 1969 in English and held by 4 WorldCat member libraries worldwide
Abstract families of languages by Seymour Ginsburg ( Book )
3 editions published between 1967 and 1968 in English and held by 4 WorldCat member libraries worldwide
The notion of an abstract family of languages (AFL) as a family of sets of words satisfying certain properties common to many types of formal languages is introduced. Operations preserving AFL are then considered. The concept of an abstract family of acceptors (AFA) is also introduced and shown to give rise to an AFL. A necessary and sufficient condition on an AFL is presented in order that the AFL come from some AFA. Finally, abstract families of transducers (AFA with output) are discussed. (Author)
AMBIGUITY IN GRAPHS AND EXPRESSIONS ( Book )
1 edition published in 1970 in English and held by 2 WorldCat member libraries worldwide
A regular expression is called unambiguous if every tape in the event can be generated from the expression in one way only. The flow-graph-technique for constructing an expression is shown to preserve ambiguities of the graph, and thus, if the graph is that of a deterministic automaton, the expression is unambiguous. A procedure for generating a nondeterministic automaton which preserves the ambiguities of the given regular expression is described. Finally, a procedure for testing whether a given expression is ambiguous is given. (Author)
Mappings which preserve context sensitive languages ( Book )
1 edition published in 1965 in English and held by 2 WorldCat member libraries worldwide
A basic result which gives a condition under which a (possibly length-decreasing) homomorphism preserves a context sensitive language is presented. Using this result, conditions under which pushdown transducers and linear bounded transducers preserve context sensitive languages are given. The basic result is also applied to show that certain rewriting systems generate context sensitive languages instead of arbitrary recursively enumerable sets. Of special interest is the result that if each rule in a rewriting system has a terminal letter of its right side, then the language generated is context free. (Author)
Full afls and nested iterated substitution ( Book )
1 edition published in 1969 in English and held by 2 WorldCat member libraries worldwide
Recently there have been several investigations of the closure under substitution of various families of languages, and of the relation of substitution to AFLs in general. A machine realization of the substitution closure of a full AFL l was obtained by finitely nesting tapes of any machine representation for l. It was shown that if any full AFL l is not closed under substitution, the result of substituting members of l into l, is not substitution closed and hence l generates an infinite hierarchy of full AFLs and the substitution closure of l is not full principal. In the paper we define a generalization of the substitution operator, called nested interated substitution, examine the properties of families of languages closed under nested iterated substitution, establish the appropriate machine characterization and discuss related decision problems
Checking automata and one-way stack languages ( Book )
1 edition published in 1968 in English and held by 1 WorldCat member library worldwide
A checking automaton is equivalent to a one-way nonerasing stack automaton which, once it enters its stack, never again writes on its stack. The checking automaton languages (cal) form a full AFL (Abstract Family of Languages) closed under substitution. If L is contained in a* is an infinite cal, then L contains an infinite regular set. Consequently, there are one-way nonerasing stack languages which are not cal. (Author)
INDEPENDENCE OF AFL OPERATION ( Book )
1 edition published in 1967 in English and held by 1 WorldCat member library worldwide
The axiomatic properties used to define abstract families of languages are considered. The properties are shown not to be independent. All independent subsets that imply the remaining properties are found. Finally alternative operations are considered. (Author)
CHAINS OF FULL AFLS ( Book )
1 edition published in 1969 in English and held by 1 WorldCat member library worldwide
If a full Abstract Family of Languages (AFL) L is not closed under substitution, then the result of substituting members of L into L, is not substitution closed and hence L generates an infinite hierarchy of full AFLs. If L1 and L2 are two incomparable full AFLs, then the least full AFL containing L1 and L2 is not substitution closed. In particular, the substitution closure of any full AFL properly contained in the context-free languages is itself properly contained in the context-free languages. If any set of languages generates the context-free languages, one of its members must do so. The substitution closure of the one-way stack languages is properly contained in the nested stack languages. For each n, there is a class of full context-free AFLs whose partial ordering under inclusion is isomorphic to the natural partial ordering on n-tuples of positive integers. (Author)
SCATTERED CONTEXT GRAMMARS ( Book )
1 edition published in 1968 in English and held by 1 WorldCat member library worldwide
Scattered context grammars are defined and the closure properties of the family of languages generated are considered. This family of languages is contained in the family of context-sensitive languages and contains all languages accepted by linear time nondeterministic Turing machines. (Author)
A note on undecidable properties of formal languages ( Book )
1 edition published in 1967 in English and held by 1 WorldCat member library worldwide
A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to well-known families of languages. (Author)
DETERMINISTIC CONTEXT FREE LANGUAGES ( Book )
1 edition published in 1965 in English and held by 1 WorldCat member library worldwide
A number of results about deterministic languages (languages accepted by pushdown automata with no choice of moves) are established. In particular, (1) each deterministic language is unambiguous. (2) the complement of each deterministic language is a deterministic language. (3) numerous operations which preserve deterministic languages (for example, intersection with a regular set) are obtained. (4) several problems are shown to be recursively unsolvable. (Author)
MULTITAPE AFA ( Book )
1 edition published in 1969 in English and held by 1 WorldCat member library worldwide
In previous papers the notion of a family of one-way nondeterministic devices was abstracted and studied extensively. A natural extension of a device with a particular type of storage tape is a multitape (storage) device, each tape of the same kind. In most familiar cases--counter, pushdown, stack--adding a second storage tape increases the power of the device to that of a Turing acceptor. By suitable restrictions on multitape devices, families can be obtained so that the associated languages do not include all recursively enumerable sets. The purpose of the paper is to abstract the notion of an 'abstract family of multitape acceptors' (abbreviated 'multitape AFA'), each storage tape not necessarily of the same kind, and examine the family of associated languages
ONE-WAY STACK AUTOMATA ( Book )
1 edition published in 1966 in English and held by 1 WorldCat member library worldwide
A number of operations which either preserve sets accepted by one-way stack automata or preserve sets accepted by deterministic one-way stack automata are presented. For example, sequential transduction preserves the former; set complementation, the latter. Several solvability questions are also considered. (Author)
PRE-AFL (ABSTRACT FAMILY OF LANGUAGES) ( Book )
1 edition published in 1967 in English and held by 1 WorldCat member library worldwide
A pre-AFL is a family of sets of words closed under certain basic operations. Each pre-AFL contains all regular sets and becomes an abstract family of languages when closed under length-increasing homomorphism. A number of situations in automata and language theory giving rise to pre-AFL are presented. (Author)
STACK AUTOMATA AND COMPILING ( Book )
1 edition published in 1965 in English and held by 1 WorldCat member library worldwide
Compilation consists of two parts, recognition and translation. A mathematical model is presented which embodies the salient features of many modern compiling techniques. The model, called the stack automaton, has the desirable feature of being deterministic in nature. This deterministic device is generalized to a nondeterministic device (nondeterministic stack automaton) and particular instances of this more general device noted. Sets accepted by nondeterministic stack automata are recursive. Each set accepted by a deterministic linear bounded automaton is accepted by some nonerasing stack automaton. Each context sensitive language is accepted by some (deterministic) stack automaton. (Author)
A note on pushdown store automata and regular systems ( Book )
1 edition published in 1965 in English and held by 1 WorldCat member library worldwide
A theorem of Bar-Hillel, Perles, and Shamir is used to show that the set of tapes left on the pushdown store by a regular set is regular. As a consequence, one obtains a generalization of a theorem of Buchi. (Author)
PRINCIPAL AFL ( Book )
1 edition published in 1970 in English and held by 1 WorldCat member library worldwide
A (full) principal AFL is a (full) AFL generated by a single language, i.e., it is the smallest (full) AFL containing the given language. In the present paper, a study is made of such AFL. First, an AFA (abstract family of acceptors) characterization of (full) principal AFL is given. From this result, many well-known families of AFL can be shown to be (full) principal AFL. Next, a representation theorem for each language in a (full) principal AFL is given involving the generator and one application each of concatenation, star, intersection with a regular set, inverse homomorphism, and a special type of homomorphism. Finally, it is shown that if l1 and l2 are (full) principal AFL, then so are (a) the smallest (full) AFL containing ((the intersection of L1 and L2)/L1 in l1, 12 in 12) and (b) the family obtained by substituting epsilon-free languages of 12 into languages of l1. (Author)
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.74 (from 0.00 for Checking a ... to 0.96 for Abstract f ...)
Alternative Names
Greibach, S. A.
Greibach, Sheila.
Greibach, Sheila A., 1939-
Greibach, Sheila Adele 1939-
Languages
English (50)
German (3)
Covers