Как слово «производство» стало синонимом слова «правило» в контексте компьютерных наук?


13

Я изучаю формальные языки и системы баз производства (системы баз правил), и меня немного смущает вопрос, почему эти два слова «производство» и «правило» означают одно и то же во многих контекстах компьютерных наук.

В английском языке они не означают одно и то же. Я не являюсь носителем английского языка, но я знаю, что правило относится к тому, что нужно / не следует делать при разговоре о людях, или к чему-то, что при многократном повторении даст тот же результат, и мы говорим, что оно работает по некоторым правилам ( как это работает, определяется некоторыми протоколами / процедурами, которые всегда одинаковы).

Производство относится к чему-то совершенно другому ... фаза некоторых физических товаров или программного обеспечения, которые в настоящее время производятся / производятся. Акт создания чего-либо физического или какого-либо произведения искусства, некоторого письма, какого-либо рисунка, чего-то, что сделано с физическими или умственными способностями кого-то. Мы говорим, что конкретная вещь производится.

Однако в информатике эти слова, которые представляют совершенно разные вещи в английском, означают одно и то же в CS. Как эти термины оказались схожими в CS.

Есть ли какой-то этимологический словарь для информатики. Словарь, который говорит нам, как термины в информатике оказались?

Кстати, интересный факт: ни продукт, ни правило не являются тегами на этом сайте Stack Exchange.


Несмотря на то, что формальные грамматики сегодня широко применяются в синтаксических анализаторах , их происхождение происходит от естественных языков, в частности от области лингвистики генеративной грамматики. Хомский использовал их, чтобы описать, как создавать предложения, поэтому их называют правилами производства.
Майлз Рут

Ответы:


22

Грамматика имеет «Правила производства:» правила о новых последовательностях символов, которые вы можете производить из старых последовательностей. В случаях контекстно-свободных грамматик эта старая последовательность всегда является одним нетерминальным символом.

Иногда люди сокращают «правила производства» до «производства». Иногда люди сокращают «правила производства» до «правил».

Эти два понятия не являются синонимами: существует множество вещей, которые являются правилами, но не являются продукцией, и люди могут назвать одно использование правила производством, или само правило производством. Как правило, надежда состоит в том, что из контекста ясно, что имеется в виду.


Какие контексты отличают производство от правила?
Роберт Харви

9
Например, при выводе типов (или любого рода индуктивном определении в языках программирования) у нас есть правила вывода, но они отделены (хотя и связаны с) продукцией в грамматике. Аналогично, в ИИ есть такая вещь, как «системы на основе правил», что совершенно другое.
Jmite

2
Правила вывода Пролога исторически сложились из правил производства (посредством формы атрибутной грамматики).
reinierpost

5

Одна из основополагающих статей теории формального языка, три модели для описания языка (Ноам Хомский, 1956), описывает математические механизмыпомощью которых предложения могут быть произведенные (сформированные), подобно томукаким образом люди производят предложениякогда речь идет или письменной форме , Предложения составляются с применением правил переписывания, поэтому эти правила являются правилами языкового производства.

Сокращения имен произведений для правил производства возникли позже и технически неточны (Хомский использует этот термин в своей статье, чтобы назвать то, что производится правилами, а не как термин для самих правил).

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.