WorldCat Identities

Ginsburg, Seymour 1927-

Overview
Works: 48 works in 118 publications in 5 languages and 1,758 library holdings
Classifications: QA267.5.S4, 001.5
Publication Timeline
Key
Publications about  Seymour Ginsburg Publications about Seymour Ginsburg
Publications by  Seymour Ginsburg Publications by Seymour Ginsburg
posthumous Publications by Seymour Ginsburg, published posthumously.
Most widely held works by Seymour Ginsburg
The mathematical theory of context free languages by Seymour Ginsburg ( Book )
24 editions published between 1966 and 1994 in English and Russian and held by 655 WorldCat member libraries worldwide
An introduction to mathematical machine theory by Seymour Ginsburg ( Book )
11 editions published in 1962 in 3 languages and held by 433 WorldCat member libraries worldwide
Algebraic and automata-theoretic properties of formal languages by Seymour Ginsburg ( Book )
14 editions published between 1975 and 1994 in English and Undetermined and held by 384 WorldCat member libraries worldwide
Studies in abstract families of languages by Seymour Ginsburg ( Book )
10 editions published between 1969 and 1983 in English and held by 211 WorldCat member libraries worldwide
Matematičeskaja teorija kontekstno-svobodnych jazykov by Seymour Ginsburg ( Book )
1 edition published in 1970 in Russian and held by 7 WorldCat member libraries worldwide
Abstract families of languages by Seymour Ginsburg ( Book )
4 editions published between 1967 and 1968 in English and held by 5 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)
Principal AFL by Seymour Ginsburg ( Book )
1 edition published in 1969 in English and held by 4 WorldCat member libraries worldwide
A mathematical model of transformational grammars by Seymour Ginsburg ( Book )
4 editions published in 1968 in English and held by 4 WorldCat member libraries worldwide
A mathematical model of transformational grammars is presented which incorporates most current versions. Among other things, the model has a formal definition of transformations and a general scheme for ordering them. Numerous examples are given to illustrate the theory. (Author)
Finite-turn pushdown automata by Seymour Ginsburg ( Book )
2 editions published in 1965 in English and held by 3 WorldCat member libraries worldwide
A finite-turn pda is a pda in which the length of the pushdown tape alternatively increases and decreases at most a fixed bounded number of times during any sweep of the automation. This paper is a study of these finite-turn pda and the context free languages they recognize. These context free languages are characterized both in terms of grammars (two ways) and in terms of generation from finite sets by three operations. A decision procedure is given for determining if an arbitrary pda is a finite-turn pda. There is no decision procedure for determining if an arbitrary context free language is accepted by some finite-turn pda. (Author)
ALGORITHMIC LANGUAGES PROJECT ( Book )
3 editions published between 1965 and 1967 in English and held by 3 WorldCat member libraries worldwide
The purpose of this investigation was to accomplish the following: (1) Conduct research designed to develop a theory for algorithmic (programming) languages. (2) Develop suitable mathematical models of currently used mathematical languages such as ALGOL, COBOL, and JOVIAL. (3) Use the mathematical models to answer questions of interest about these languages
Sūri kikairon nyūmon by Seymour Ginsburg ( Book )
2 editions published in 1971 in Japanese and held by 3 WorldCat member libraries worldwide
Algebraie and automata-theoretic prosperties of formal languages by Seymour Ginsburg ( Book )
1 edition published in 1975 in Dutch and held by 2 WorldCat member libraries worldwide
TWO-WAY BALLOON AUTOMATA AND AFL by Seymour Ginsburg ( Book )
2 editions published in 1968 in English and held by 2 WorldCat member libraries worldwide
It is shown that if the family of languages accepted by a closed class of two-way balloon automata is closed under length-preserving homomorphism, then this family is an AFL closed under intersection and e-free substitution. It is then proved that the family of languages accepted by the closed class of two-way balloon automata of (nonerasing) (deterministic) stack acceptors is such a family. (Author)
PRINCIPAL AFL ( Book )
2 editions published between 1969 and 1970 in English and held by 2 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)
ONE-WAY REAL-TIME LIST-STORAGE LANGUAGES by Seymour Ginsburg ( Book )
2 editions published in 1967 in English and held by 2 WorldCat member libraries worldwide
A device is presented which has its memory organized as a list. Attention is then focused on the automaton (called an lsa) which results when the input is read one-way and the device operates in real time. The set of words (called a language) accepted by an lsa is extensively studied. In particular, several characteristics and closure properties of languages are given. (Author)
DERIVATION-BOUNDED LANGUAGES by Seymour Ginsburg ( Book )
2 editions published in 1968 in English and held by 2 WorldCat member libraries worldwide
A derivation is a phrase-structure grammar is said to be k-bounded if each word in the derivation contains at most k occurrences of nonterminals. A set L is said to be derivation bounded if there exists a phrase-structure grammar G and a positive inter k such that L is the set of words in the language generated by G which have some k-bounded derivation. The main result is that every derivation-bounded set is a context-free language. Various characterizations of the derivation-bounded languages are then given. For example, the derivation-bounded languages coincide with the standard matching-choice sets discussed by Yntema. They also coincide with the smallest family of sets containing the linear context free languages and closed under arbitrary substitution. (Author)
CONTROL SETS ON GRAMMARS by Seymour Ginsburg ( Book )
2 editions published in 1967 in English and held by 2 WorldCat member libraries worldwide
Given a set C of strings of rewriting rules of a phrase structure grammar G, we consider the set LC(G) of those words generated by leftmost derivations in G whose corresponding string of rewriting rules is an element of C. The paper concerns the nature of the set LC(G) when C and G are assumed to have special form. For example, for G an arbitrary phase structure grammar, LC(G) is an abstract family of languages if C is an abstract family of languages, and LC(G) is bounded if C is bounded. (Author)
MULTI-STACK-COUNTER LANGUAGES ( Book )
1 edition published in 1970 in English and held by 2 WorldCat member libraries worldwide
A stack-counter acceptor is a stack acceptor in which the storage alphabet is just one letter. The present paper discusses multi-stack-counter acceptors operating in quasi-realtime, i.e., acceptors in which each storage tape is a stack counter and in which there are only a bounded number of consecutive E-moves. It is shown that the quasi-real-time k-stack-counter acceptor is equivalent to one operating in nondeterministic real-time. Lastly, it is shown that acceptance by final state of a k-stack-counter acceptor is equivalent to acceptance by empty tape and final state. (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)
SUBSTITUTION IN FAMILIES OF LANGUAGES ( Book )
1 edition published in 1968 in English and held by 2 WorldCat member libraries worldwide
The effect of substitution in families of languages, especially AFL, is considered. Among the main results shown are the following: The substitution of one AFL into another is an AFL. Under suitable hypotheses, the AFL generated by the family obtained from the substitution of one family into another, is the family obtained from the substitution of the corresponding AFL. A condition is given for the AFL generated by the substitution closure of a family to be the substitution closure of the AFL generated by the family. (Author)
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.00 for ALGORITHMI ... to 1.00 for ONE-WAY RE ...)
Alternative Names
Ginsburg, S.
Ginzburg, Sejmur.
Ginzburg, Sejmur, 1927-2004
Ginzburg, Sejmur 1928-2004
Гинсбург, Сеймур, 1927-
ギンスバーグ, シーモア
Languages
English (79)
Russian (4)
Japanese (2)
Portuguese (1)
Dutch (1)