WorldCat Identities

Greibach, Sheila 1939-

Overview
Works: 26 works in 77 publications in 3 languages and 780 library holdings
Roles: Author
Classifications: QA76.6, 001.642
Publication Timeline
.
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 )

24 editions published between 1975 and 2007 in 4 languages and held by 347 WorldCat member libraries worldwide

Studies in abstract families of languages by Seymour Ginsburg( Book )

13 editions published in 1969 in English and held by 209 WorldCat member libraries worldwide

Theory of Program Structures: Schemes, Semantics, Verification by Sheila Greibach( )

1 edition published in 1975 in English and held by 30 WorldCat member libraries worldwide

Inverses of phrase structure generators by Sheila Greibach( Book )

7 editions published between 1963 and 1968 in English and Undetermined and held by 14 WorldCat member libraries worldwide

Principal AFL by Seymour Ginsburg( Book )

3 editions published between 1969 and 1970 in English and held by 6 WorldCat member libraries worldwide

A (full) principal abstract family of languages(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 LL1 and LL2 are (full) principal AFL, then so are (a) the smallest (full) AFL containing (the intersection of L1 and L2/L1 in LL1, L2 in LL2) and (b) the family obtained by substituting epsilon-free languages of LL2 into languages of LL1. (Author)
Abstract families of languages by Seymour Ginsburg( Book )

5 editions published between 1967 and 1968 in English and held by 6 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)
Stack automata and compiling( Book )

1 edition published in 1965 in English and held by 2 WorldCat member libraries 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)
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)
Theory of program structures : schemes, semantics, verification by Sheila Greibach( Book )

3 editions published between 1974 and 1975 in English and Undetermined and held by 2 WorldCat member libraries worldwide

Full afls and nested iterated substitution( Book )

2 editions 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
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)
INDEPENDENCE OF AFL OPERATION by Shelia Greibach( 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)
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)
SCATTERED CONTEXT GRAMMARS( Book )

2 editions published in 1968 in Undetermined and 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)
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)
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)
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)
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)
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.67 for Studies in ... to 1.00 for A note on ...)

Theory of program structures : schemes, semantics, verificationTheory of program structures : schemes, semantics, verification
Alternative Names
Greibach, S. A.

Greibach, Sheila.

Greibach, Sheila A. 1939-

Greibach, Sheila Adele 1939-

Sheila A. Greibach US-amerikanische Informatikerin und Mathematikerin

Sheila Greibach Amerikaans informatica

Sheila Greibach amerikansk informatikar

Sheila Greibach amerikansk informatiker

Sheila Greibach especialista en informática estadounidense

Sheila Greibach informatica statunitense

Sheila Greibach informaticienne américaine

Languages
Covers
Theory of program structures : schemes, semantics, verification