Як слово "виробництво" виявилося синонімом слова "правило" в контексті інформатики?


13

Я вивчаю формальні мови та системи виробничих баз (системи баз правил), і я трохи збентежений, чому ці два слова "виробництво" та "правило" означають одне і те ж у багатьох контекстах інформатики.

Англійська мова, схоже, не означає те саме. Я не є носієм англійської мови, але я знаю, що правило посилається на те, чого не слід робити / говорити про людей, або те, що, якщо повторюватися багато разів, дасть однаковий результат, і ми говоримо, що воно працює за деякими правилами ( спосіб роботи, визначений деяким протоколом / процедурами, які однакові щоразу).

Виробництво стосується чогось зовсім іншого ... фази деяких фізичних товарів чи програмного забезпечення, які наразі виготовляються / виробляються. Акт створення чогось фізичного чи якогось художнього твору, деякого письма, деякого малювання, того, що робиться з кимось фізичними чи розумовими можливостями. Ми кажемо, що конкретна річ виробляється.

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

Чи є якийсь етимологічний словник для інформатики. Словник, який розповідає, як закінчилися терміни з інформатики?

BTW: Цікавий факт: ні виробництво, ні правило не є тегами на цьому сайті Stack Exchange.


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

Відповіді:


22

Граматика містить "Правила виробництва:" про нові послідовності символів, які можна створити зі старих послідовностей. У випадках без контекстних граматик ця стара послідовність завжди є єдиним нетермінальним символом.

Іноді люди скорочують "правила виробництва" до "виробництва". Іноді люди скорочують "правила виробництва" до "правил".

Два не є синонімами: є багато речей, які є правилами, але це не виробництво, і люди можуть називати одноразове використання правила виробництвом, або саме правило виробництвом. Взагалі, надія полягає в тому, що з контексту зрозуміло, що мається на увазі.


Який контекст відрізняв би продукцію від правила?
Роберт Харві

9
Наприклад, для виводу типу (або будь-якого індуктивного визначення в мовах програмування) ми маємо правила виводу, але вони є окремими від (хоча і пов'язаними) виробництвами в граматиці. Так само в AI існує таке поняття, як "системи, засновані на правилах", що зовсім інша річ.
jmite

2
Правила висновків Пролога історично розвивалися з правил виробництва (через форму граматики атрибутів).
reinierpost

5

Одна з основоположних статей теорії формальної мови, Три моделі опису мови (Ноам Хомський, 1956), описує математичні механізми, за допомогою яких можна виробляти (генерувати) речення , подібно до того, як люди виробляють речення під час розмови чи письма . Речення виробляються із застосуванням правил переписування, тому ці правила є мовними правилами виробництва.

Скорочення назви виробничих правил виникло пізніше і є технічно неточним (Хомський використовує цей термін у своїй статті, щоб назвати те, що виробляється правилами, а не як термін для самих правил).

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.