Теория формальных грамматик - Гросс М.
Скачать (прямая ссылка):
Затем M Шютценберже [1959], введя понятия формального ряда, а также линейных и металинейных языков (в работе [1961b]), положил начало новым интересным исследованиям в области теории автоматов и теории формальных грамматик
Ниже мы укажем лишь самые основные работы, относящиеся к интересующей нас области, впрочем, некоторые из них содержат в свою очередь обширные списки литературы Особо следует отметить монографию С. Гинзбурга [1966], іде читатель найдет детальное изложение ряда вопросов, затронутых в настоящей книге.
Бар-Хиллел (Bar-Hillel Y)
[1964] Language and information Selected essays on their theory and application, Academic Press, Addison-Wesley, Jerusalem.
Сборник статей, включающий, в частности, три следующие работы и содержащий список литературы в 155 названий Бар-Хиллел, Гайфман, Шамир (Bar-Hillel Y1 Gaifman С, ShamirE)
*[1960] On categorial and phrase structure grammars, Bulletin of the Research
Council of Israel, 9F, 1—16. Бар-Хиллел, Перле с, Шамир (Bar-Hillel Y, Perles M, Shamir E)
[1961] On formal properties of simple phrase structure grammars, Zeitschrift fur Phonetik, Sprachwissenschaft und Kommunikationsforschung, 14, N° 2, 143—172
Подклассы КС-грамматик; нераспознаваемые свойства Бар-Хиллел, Шамир (Bar-HillelYpShamirE) [1960] Finite state languages' formal representation and adequacy problems, Bulletin of the Research Council of Israel, 8F, № 3, 155—166
Эквивалентность грамматик и автоматов; проблемы формального описания естественных языков.
') В оригинале все работы по трансформационной грамматике были выделены в особый раздел; однако, поскольку многие из них повторялись и в основной библиографии, мы сочли более целесообразным отказаться от такого разделения. Ряд работ добавлен переводчиком и редактором перевода; все такие работы отмечены звездочкой. — Прим. перев.288
Библиография
Гинзбург (QinsburgS)
*[1966] The mathematical theory of context-free languages, New York-San Francisco-Toronto-London. (Перевод: Математическая теория контекстно-свободных языков, изд-во «Мир», M., 1970 )
Гинзбург, Парти (Ginsburg S., ParteeBarbara)
*[1969] A mathematical model of transformational grammars, Information and control, 15, № 4, 297—334.
Гладкий A B
*[1963] Грамматики с линейной памятью, Алгебра и логика, 2, № 5, 43—55.
*[1965а] Алгоритмическая нераспознаваемость существенной неопределенности КС-языков, Алгебра и логика, 4, № 4, 53—64
*[1965Ь] Прямое доказательство теоремы Мэтьюза, Алгебра и логика, 4, № 4, 65—70
*[1966] Лекции по математической лингвистике для студентов НГУ, Новосибирск.
Г л а д к и й А. В., M е л ь ч у к И. А.
*[1969] Элементы математической лингвистики, изд-во «Наука», М.
Грейбах (Greibach Sheila)
*[1968] A note on undecidable properties of forma] languages, Mathematical systems theory, 2, № 1, 1—6.
Гросс (Gross M.)
[1963—1964] Linguistique mathematique et langages de programmation, Revue frangaise de traitement de l'information, 231—253
[1966] Applications geometriques des langages formels, ICC Bulletin, 5-3.
Дэвис (DaviesM)
[1958] Computability and unsolvability, McGraw-Hill, New York.
Диковский А. Я.
*[1969] О соотношении между классом всех контекстно-свободных языков и классом детерминированных контекстно-свободных языков, Алгебра и логика, 8, № 1, 44—64.
Клини (К 1 е е п е S. С.)
[1956] Representation of events in nerve nets and finite automata.— In. «Automata studies», Princeton (N-J.), 3—41. (Перевод в сб. «Автоматы», ИЛ, М, 1956, 15—67.)
К л а й м а (Klima Е. S.)
[1965] Current development in generative grammar, Prague colloquium in algebraic linguistics and machine translation, Kybernetika, 1, № 2, 184—197.
Курода (Kuroda S.Y)
[1964] Classes of languages and linear-bounded automata, Information and control, 7, № 2, 207—223
Ландвебер (Landweber P. S)
[1963] Three theorems on phrase structure grammar of type 1, Information and control, 6, № 2, 131—136
В статьях Куроды и Ландвебера устанавливается эквивалентность НС-грамматик и линейно ограниченных автоматов
M а й X и л л (М у h і 11 J.)
[1957] Finite automata and representation of events—In Myhill J, Nero-de A, Tennenbaum S, Fundamental concepts of the theory of systems, 112—137.
Определение полугруппы конечного автомата; стандартные А-языки, А-языки и графы.
[1960] Linear bounded automata, WADD technical note 60—165, Wright Air Development Division
Определение и свойства линейно ограниченных автоматов.Библиография
289
M ак-Нотон, Я м ада (McNaughtonRjYamadaH.)
[1960] Regular expressions and state graphs for automata, IRE Transactions on electronic computers, ec-9, Ks 1, 39—47.
Взаимоотношение между представляющими выражениями и графами конечных автоматов. Мальцев А. И.
*[ 1965] Алгоритмы и рекурсивные функции, изд-во «Наука», М. M э т ь ю з (Matthews G. Н)
[1963] Dicontinuity and asymmetry in phrase structure grammars, Information and control, 6, № 2, 137—146. (Перевод- в сб. «Математическая лингвистика», изд-во «Мир», М, 1964, 150—159)