#### Filter Results:

- Full text PDF available (4)

#### Publication Year

1963

2005

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Sheila A. Greibach
- Theor. Comput. Sci.
- 1978

- Sheila A. Greibach
- J. ACM
- 1965

A b s t r a c t . A context>free phrase s t ruc ture general~or is in..~landard jb~'m if and only if al t of i ts rules are of the form: Z , a Y ~ , . . . , Y,~ where Z and Yi are in te rmedia te symbels and a is a l~erminM symbol, so tha t one input., symbol is processed at each s-tep. S t a n d a r d form is eonvenien(~ for computer manipula t ion of… (More)

- Ronald V. Book, Shimon Even, Sheila A. Greibach, Gene Ott
- IEEE Trans. Computers
- 1971

- Seymour Ginsburg, Sheila A. Greibach
- SWAT
- 1967

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 intro duced and shown to give rise to an AFL. A necessary and sufficient condition… (More)

- Sheila A. Greibach
- SIAM J. Comput.
- 1973

- Seymour Ginsburg, Sheila A. Greibach
- SWCT
- 1965

- Sheila A. Greibach, John E. Hopcroft
- IFIP Congress
- 1968

- Ronald V. Book, Sheila A. Greibach
- Mathematical systems theory
- 1970

The quasi-realtime languages are seen to be the languages accepted by nondeterministic multitape Turing machines in real time. The family of quasi-realtime languages forms an abstract family of languages closed under intersection, linear erasing, and reversal. It is identical with the family of languages accepted by nondeterministic multitape Turing… (More)

- Sheila A. Greibach, Emily P. Friedman
- J. ACM
- 1980

A deterministic pushdown store automaton ~s superdetermm~suc if it is finite delay, and whenever two accessible configurations c~ and c~ in the same state and m reading mode are taken by the same input into two configurations c, and c', m reading mode, then c, and c'_, are also m the same state and the change m stack height between c, and c_, is the same as… (More)

- Sheila A. Greibach
- Lecture Notes in Computer Science
- 1975