ХОМСКОГО ГРАММАТИКИ

— класс грамматик формальных, введенных в рассмотрение амер. лингвистом Н. Хомским. X. г. имеет вид где F и непересекающиеся конечные множества («терминальный» и «вспомогательный» словари), Q есть совокупность правил вида , где А и В суть цепочки над а символ не принадлежит еоть начальный символ («предложение»). Грамматикой непосредственно составляющих наз. X. г., в которой каждое правило из Q имеет вид: где у — элемент из а а, р, w — непустые цепочки над контекстно-свободной, если а и Р суть пустые символы, т. е. правила имеют вид: у w. В противном случае X. г. наз. контекстно-связанной. X. г. наз. автоматной, или грамматикой с конечным числом состояний, если все правила из Q имеют вид: или где X, Y суть элементы из — пустая цепочка, а х и у суть элементы из

Лит.: Хомский Н. Три модели описания языка. «Кибернетический сборник», 1961, № 2.