Формальные грамматики и языки - Гладкий А.В.
Скачать (прямая ссылка):
Fris I., On stop-conditions of constructive languages. — Z. Math, Logik Grundl. Math., 1965, 11, № 1, 61—73.
Gaifman H. Dependency systems and phrase structure systems.— Santa Monica (Calif.), RAND Corp., 1961 (P-2315).
Gaifman H. Dependency systems and phrase structure systems. — Information and Control, 1965, 8, № 3, 304—337.
Ginsburg S., The mathematical theory of context-free languages,— N. Y. — San Francisco — Toronto — London, 1966. (Русский перевод: Гинзбург С., Математическая теория контекстно-свободных языков, «Мир», 1970.)
Ginsburg S., Greibach S. A. Mappings which preserve context-sensitive languages. — Information and Control, 1966 (a), 9, № 6, 563—583. (Русский перевод: Гинзбург С., Грейбах Ш., Об инвариантности классе * НС-язьщор ртносительцр некоторых
354
ЛИТЕРАТУРА
отображений, Кибернетический сборник, новая серия, вып. 5, «Мир»,
1968, 167—188.)
Ginsburg S., Greibach S. A. Deterministic context-free languages. — Information and Control, 1966 (6), 9, № 6, 620—648.
Ginsburg S., Rice H. G. Two families of languages related to ALGOL. — J. Assoc. Computing Machinery, 1962, 9, № 3, 350—371. (Русский перевод: Гинзбург С., Райс X., Два класса языков типа АЛГОЛ, Кибернетический сборник, новая серия, вып. 6, «Мир»,
1969.)
Ginsburg S., S р a n i е г Е. Н., Finite-turn pushdown automata.— J. SIAM Control, 1966, 4, № 3, 429—453.
Ginsburg S., S p a n i e r E. H. Derivation-bounded languages.— J. of Computer and System Sciences, 1968, 2, № 3, 228—250.
Ginsburg S., U 11 i a n J. S. Ambiguity in context-free languages.— J. Assoc. Computing Machinery, 1966, 13, № 3, 364—368.
Greibach S. A. Undecidability of the ambiguity problem for minimal linear grammars. — Information and Control, 1963, 6, № 2,
119—125.
Greibach S. A. A new normal-form theorem for context-free phrase structure grammars. — J. Assoc. Computing Machinery, 1965,
12, № 1, 42—52.
Greibach S. A. The unsolvability of the recognition of linear context-free languages. — J. Assoc. Computing Machinery, 1966, 13, № 4, 582—587.
Greibach S. A. A simple proof of the standard-form theorem for context-free grammars. — In: «Mathematical Linguistics and Automatic Translation», Harvard Univ. Computation Lab., Rept. NSF-18, August, 1967, II-l—II-4.
Greibach S. A. A note on undecidable properties of formal languages. — Math. Systems Theory, 1968, 2, № 1, 1—6.
Gross М., L e n t i n A. Notions sur les grammaires formel-les. — Paris, 1967. (Русский перевод: Гросс М., Л а н т е н А., Теория формальных грамматик, «Мир», 1971.)
Gruska J. On a classification of context-free languages. — Ky-bernetika, 1967, 3, № 1, 22—29.
Haines L. H. Generation arid recognition of formal languages. — Ph. D. Thesis, Massachusets Institute of Technology, 1965.
Haines L. H. Representation theorems for context-sensitive languages. — Notices Amer. Math. Soc. 1969, 16, № 3, 527.
Haines L. H. Representation theorems for context-sensitive languages.—Univ. of California, Berkly, Calif., 1970.
Harper К. E., Hays D. G. The use of machines in the construction of a grammar and computer program for structural analysis.— In «IFIP. Information processing 1959,'Proceedings...», Paris, 1960, 188—194. (Русский перевод: Харпер К. E., X e й с Д. Г., Использование машин при построении грамматики и программа для структурного анализа, сб. «Автоматизация в лингвистике», «Наука»
1966, 132—143.)
Harris Z.S. Structural linguistics.—Chicago, 1961.
Hays D. G. Grouping and dependency theories. — In «Proceedings of the National Symposium on Machine Translation», Englewood Cliffs (N. J.'), 1961, 258-266.
ЛИТЕРАТУРА
355
Н а г t ш a n i s J. Context-free languages and Turing machine computations. — Proc. Symposium in Applied Mathematics of the Amer. Math. Soc„ 1967, 42—51.
Havel 1. A note on one-sided context-sensitive grammars. — Kybernetika, 1969, 5, № 3, 186—189.
Hennie F. C. One-tape, off-line Turing machine computations. — Information and Control, 1965, 8, № 6, 553—578. (Русский перевод: Хенни Ф. К., Вычисления на одноленточной машине Тьюринга с записью на ленте, сб. «Проблемы математической логики», «Мир», 1970, 223—248.)
Н о р с г о f t J. Е., U 11 m a n J. D. Formal languages and their relations to automata. — Menlo Park, Calif., 1969.
К 1 e e n e S. C. Introduction to Metamathematics. — Princeton, N. J., 1952. (Русский перевод: К л и н и С. К., Введение в метаматематику, ИЛ, 1957.)
К1 е е n е S. С. Representation of events in nerve sets and finite automata.— In: С. E. Shannon, J, McGarthy (eds.), Automata Studies, Princeton, N. J., 1956, 3—41. (Русский перевод: Кли-н и С. К., Представление событий в нервных сетях и конечных автоматах, сб. «Автоматы», ИЛ, 1956,/ 15—67.)
К и г о d a S.-Y. Classes of languages and linear-bounded automata. — Information and Control, 1964, 7, № 2, 207—223.
Landweber P. S. Three theorems on pharse structure grammars of type 1. — Information and Control, 1963, 6, № 2, 131—136.
L e с e r f Y. Programme des conflits, modele des conflits. — Traduction automatique, I960, 1, № 4, 11—18; № 5, 17—36.
