Теория формальных грамматик - Гросс М.
Скачать (прямая ссылка):
Доказывается эквивалентность некоторого специального класса НС-грамматик (с определенными ограничениями на способ вывода) и класса КС-грамматик. В доказательстве допущена ошибка, исправленная в работе Мэтьюза [1964]; другое доказательство см. в статье Гладкого [1965Ь].
*[1964] A note on asymmetry of phrase structure grammars, Information and
control, 7, № 3, 360—365. Нерод (NerodeA)
[1958] Linear automaton transformations, Proceedings of the American Mathematical Society, 9, № 4, 541—544.
Нива (Ni vat M.)
[1966] Elements de la theorie generale des codes, Sfeminaire OTAN sur la theorie
des automates, ed. Саїапеїіо. Парик (Parikh R.)
[1961] Language-generating devices, Research laboratory of electronics, Quarterly progress report (MIT), JVb 60, 199—212.
См. также более позднюю публикацию: Parikh R., On context-free languages, Iournal of Association for computing machinery, 13, № 4 (1966), 570—580.
Неустранимая неоднозначность КС-языков (определение и пример); другие вопросы теории КС-грамматик. П о с т (Р о S t E )
[1946] A variant of a recursively unsolvable problem, Bulletin of American Math. Society, 52, 264—268. Проблема соответствий Поста. Раби н, Скотт (Rabin М. O1ScottD.)
[1959] Finite automata and their decision problems, IBM Iournal of research and development, 3, 115—125. (Перевод- Кибернетический сборник, вып. 4, 1962, стр. 58—91.)
Роджерс (Rogers Н)
[1961] Recursive functions and effective computability, Mass Inst. Tech., Math.
Dept. [mimeo], New York, 1967. (Готовится русский перевод) ФитиаловС Я.
*[1968] Об эквивалентности грамматик HC и грамматик зависимостей, см. сб. «Проблемы структурной лингвистики», изд-во «Наука», M, 1967, 71—102. Хомский (Chomsky N.)
[1956] Three models for the description of language, IRE Transactions on information theory, IT-2, 113—124. (Перевод: Кибернетический сборник, вып. 2, 1961, 237—266.)
Типы формальных грамматик; лингвистические проблемы, связанные с формальными грамматиками.
[1957] Syntactic structures, Mouton and Co., s'Gravenhage. (Перевод: в сб. «Новое в лингвистике», изд-во «Прогресс», вып. II, 1962, 412—527.) 290
Библиография
[1959] On certain formal properties of grammars, Information and control, 2, Ks 2, 137—167. (Перевод: Кибернетический сборник, вьіп 5, 1962, стр. 279—312 ) Математические свойства различных классов формальных грамма тик.
[1962] A transformational approach to syntax. — In: «Proceedings of the 1958 Conference on problems of linguistic analysis in English» (Hill A. A, ed.), Austin (Texas), 124—158.
[1963] Formal properties of grammars — In. «Handbook of mathematical psychology», 2 (Luce D, Buch E., Galanter E, eds), New York, John Wiley & Sons, Inc., 323—418. (Перевод- Кибернетический сборник, новая серия, вып. 2, 1966, стр. 121—230.)
Обобщающая статья, содержащая многочисленные результаты относительно свойств автоматов и формальных грамматик. Обширная библиография (78 назв.). [1965] Aspects of theory of syntax, Cambridge (Mass.).
Хомский, Миллер (Chomsky N., Miller G.)
[1958] Finite state languages, Information and control, 1, № 1, 91—112. (Перевод: Кибернетический сборник, вып. 4, 1962, стр. 231—255.)
Хомский, Шютценберже (Chomsky N, Schutzenberger M Р)
[1963] The algebraic theory of context-free languages — In «Computer programming and formal systems» (Brafford P., Hirschberg D., eds), North Holland Publ., Amsterdam, 118—161. (Перевод- Кибернетический сборник, новая серия, вып. 3, 1966, 195—242)
Алгебраические свойства КС-языков; формальные ряды; языки Дика. Обширная библиография.
X э р р и с (HarrisZ S.)
[1946] From morpheme to utterance, Language, 22, № 3, 161—183
[1951] Methods in structural linguistics, Univ. of Chicago Press, Chicago
См. также более позднюю публикацию этой книги- Structural linguistics, Chicago-London, 1963
[1952] Discourse analysis, Language, 28, № 1, 1—30.
[1957] Co-occurrence and transformations in linguistic structure, Language, 33, № 3 (Part I), 283—340 (Перевод: в сб. «Новое в лингвистике», вып. II, изд-во «Прогресс», M., 1962, 528—638)
[1964] Elementary transformations, Transformation and discourse analysis papers. № 54, Univ. of Pennsylvania, Philadelphia.
Все указанные здесь статьи Хэрриса перепечатаны в книге: HarrisZ S., Papers in structural and transformational linguistics, Dordrecht, Reidel, 1970.
Шейнберг (Scheinberg 3)
[1960] Note on the Boolean properties of context-free languages, Information and control, 3, № 4, 372—375.
Шютценберже (SchutzenbergerM P)
[1959] Un probleme de la theorie des automates, Seminaire Dubreil-Pisot1 Paris Определение понятия формального ряда и его использование для исследования автоматов.
[1961а] A remark of finite transducers, Information and control, 4, № 2—3, 185— 196.
[1961b] Some remarks on Chomsky's context-free languages, Research laboratory of electonics, Quarterly progress report (MIT), № 63, Cambridge, Mass., 155-170
Определение линейных КС-языков. [1963a] Certain elementary families of automata. — In: Proceedings of Symposia on mathematical theory of automata, New York, 1962. Brooklin, 139—153. Библиография
