برنامه نویسی چیست؟

*KhatKhati* · 18/9/20

اوتوماسیون و رویدادها
در رشتهٔ اوتوماسیون از یک مرحله به مرحلهٔ دیگر رفتن به این بستگی دارد که چه حروفی به دستگاه وارد می‌شود. این می‌تواند این‌گونه ارائه شود که حروف از یک فایل متنی خوانده شود و به ترتیب وارد دستگاه شود. در واقع این اطلاعات در مورد مکان ، سرعت ، دما و دیگر عناصر حیاطی دستگاه می‌باشد.

مانند یک برنامه‌نویسی گرافیکی شاخه‌هایی وجود دارند که با یکدیگر اجرا می‌شوند که به صورت زیر می‌توان آن‌ها را نشان داد.

s:stage c:condition

s1
|
|-c2
|
s2
|
----
| |
|-c31 |-c32
| |
s31 s32
| |
|-c41 |-c42
| |
----
|
s4

*KhatKhati* · 18/9/20

استفاده از ویژگی‌های شی گرا
اگر زبان برنامه‌نویسی از ویژگی‌های شی گرایی استفاده کند می‌توان اوتومات‌ها را به صورت یک شی در نظر گرفت. با ابن کار چگونگی پیاده‌سازی آن و جزئیات آن پنهان می‌شود.

به عنوان مثال یک نسخه از برنامه‌ای که در بالا گفته شد با استفاده از ویژگی‌های شی گرایی به صورت زیر نوشته می‌شود.

#include <stdio.h>
class StateMachine {
enum states { before = 0, inside = 1, after = 2 } state;
struct branch {
enum states new_state:2;
int should_putchar:1;
};
static struct branch the_table[3][3];
public:
StateMachine() : state(before) {}
void FeedChar(int c) {
int idx2 = (c == ' ') ? 0 : (c == '\n') ? 1 : 2;
struct branch *b = & the_table[state][idx2];
state = b->new_state;
if(b->should_putchar) putchar(c);
}
};
struct StateMachine::branch StateMachine::the_table[3][3] = {
/* ' ' '\n' others */
/* before */ { {before,0}, {before,1}, {inside,1} },
/* inside */ { {after, 0}, {before,1}, {inside,1} },
/* after */ { {after, 0}, {before,1}, {after, 0} }
};
int main(void)
{
int c;
StateMachine machine;
while((c = getchar()) != EOF)
machine.FeedChar(c);
return 0;
}

*KhatKhati* · 18/9/20

اوتوماتای مبتنی بر برنامه‌نویسی به صورت گسترده‌ای در تحلیل لغوی و گرامری استفاده می‌شود.

در نظریهٔ اوتوماتیک فکر نیز می‌تواند مورد استفاده قرار بگیرد.

اوتومات‌های مبتنی بر برنامه‌نویسی برای توصیف معانی بعضی از زبان‌های برنامه‌نویسی مورد استفاده قرار میگیرد.

تاریخجه
تکنیک مبتنی بر اوتومات‌ها به صورت گسترده‌ای در الکوریتم‌ها و نظریهٔ اوتوماتیک استفاده می‌شود. مثل تحلیل زبان‌های با قاعده.

یکی از ابتدایی‌ترین مقاله‌ها در این زمینه در سال 1968 چاپ شد.

اولین جایی که از اوتومات‌های مبتنی در برنامه‌نویسی به عنوان یک تکنیک عمومی نام بـرده شده‌است در سال 1963 توسط پیتر نور بود که نویسنده آن را تکنیک تورینگ ماشین نام‌گذاری کرده بود.

*KhatKhati* · 18/9/20

برنامه‌نویسی داده‌محور

در برنامه نویسی کامپیوتر ، برنامه‌نویسی داده محور یک پارادیم برنامه نویسی است که در آن دستورهای برنامه ، داده‌ها را برای همسان‌سازی و پردازش‌های مورد نیاز به جای تعریف یک توالی مراحل توصیف می‌کنند .[۱] نمونه‌هایی استاندارد از زبان‌های برنامه‌نویسی داده محور زبان متن-پردازش sed و AWK هستند[۱]، که در آن‌ها داده ، دنباله‌ای از خطوط در یک جریان ورودی می‌باشد (این نوع زبان‌های برنامه‌نویسی هم‌اکنون با نام زبان‌های برنامه‌نویسی خط-گرا نیز شناخته می‌شوند) و در درجه اول عبارات منظم یا شماره خط الگوی تطابق هستند .

مربوط به پارادایم
زبان‌های برنامه‌نویسی داده محور

AWK[۱]
OZ
Perl – برنامه‌نویسی داده-محور در AWK و sed یکی از پارادایم‌های پشتیبانی شده توسط Perl هستند
sed

*KhatKhati* · 18/9/20

اوتوماسیون و رویدادها
در رشتهٔ اوتوماسیون از یک مرحله به مرحلهٔ دیگر رفتن به این بستگی دارد که چه حروفی به دستگاه وارد می‌شود. این می‌تواند این‌گونه ارائه شود که حروف از یک فایل متنی خوانده شود و به ترتیب وارد دستگاه شود. در واقع این اطلاعات در مورد مکان ، سرعت ، دما و دیگر عناصر حیاطی دستگاه می‌باشد.

مانند یک برنامه‌نویسی گرافیکی شاخه‌هایی وجود دارند که با یکدیگر اجرا می‌شوند که به صورت زیر می‌توان آن‌ها را نشان داد.

s:stage c:condition

s1
|
|-c2
|
s2
|
----
| |
|-c31 |-c32
| |
s31 s32
| |
|-c41 |-c42
| |
----
|
s4

*KhatKhati* · 18/9/20

برنامه‌نویسی منطقی

برنامه‌نویسی منطقی (به انگلیسی: Logic Programming) یک پارادایم برنامه‌نویسی است که به‌صورت عمده برپایهٔ منطق گسترش یافته‌است. هر برنامه در یک زبان برنامه‌نویسی منطقی، مجموعه‌ای از جملات منطقی‌ست که راستینه‌ها (به انگلیسی: Facts) و قوانین (به انگلیسی: Rules) یک مسئله را شرح می‌دهد. از رایج‌ترین زبان‌های برنامه‌نویسی منطقی می‌توان به پرولوگ و دیتالاگ اشاره کرد. در این زبان‌ها قوانین به شکل بند درج می‌شوند:

H :- A1, A2, ..., An.

بند فوق به‌صورت «H صحیح است اگر A1 و A2 و … و An صحیح باشند» خوانده می‌شود. هر بند دارای یک راس و یک بدنه است. در بند بالا H راس و A1, … , An بدنه هستند. قوانینی که دارای بدنه نباشند، راستینه یا فکت نامیده می‌شوند:

H.

تاریخچه
استفاده از منطق ریاضی برای نمایش و اجرای برنامه‌های رایانه‌ای اولین بار در دهه ۱۹۳۰ توسط آلونزو چرچ صورت گرفت.

*KhatKhati* · 18/9/20

برنامه‌ریزی منطقی قیاسی
برنامه‌ریزی منطقی قیاسی (انگلیسی: Abductive logic programming یا به‌طور مخفف ALP)، چارچوب ارائه دانش در سطح بالا است که می‌توان از آن برای حل مشکلات ناشی از استدلال قیاسی استفاده کرد. برنامه‌ریزی منطقی نرمال با استفاده از بعضی مفروضات که به‌طور ناقص تعریف شده‌اند، اجازه گسترده شدن را به گزاره‌های قیاسی می‌دهد. حل مسئله با استخراج فرضیه‌ها در مورد گزاره‌های مورد نظر (فرضیه قیاسی) به عنوان راه‌حل مسائل ارائه می‌شود. این مسائل می‌توانند مشاهداتی باشند که باید توضیح داده شوند، یا اهدافی که باید به دست آید. این روش می‌تواند برای حل مسائل در تشخیص، برنامه‌ریزی، زبان طبیعی و یادگیری ماشین به کار رود.

محتویات

۱ علم نحو
۲ معنای غیررسمی و حل مسئله
- ۲.۱ مثال ۱
- ۲.۲ مثال ۲
- ۲.۳ مثال ۳
۳ معانی رسمی
۴ پیاده‌سازی و سیستم
۵ جستارهای وابسته
۶ منابع

علم نحو
برنامه‌های منطقی قیاسی دارای سه مولفه ⟨ P , A , I C ⟩ {\displaystyle \langle P,A,IC\rangle }

هستند:

P یک برنامه منطقی دقیقاً مشابه برنامه‌نویسی منطقی است.
A مجموعه ای از نام‌های پیشین است که نام‌های محرمانه نامیده می‌شود.
IC مجموعه ای از فرمول‌های کلاسیک مرتبه اول است.

به‌طور معمول، برنامه منطقی P شامل هیچ شرطی نیست که در اصل (یا نتیجه‌گیری) به یک گزاره قیاسی اشاره کند.

همچنین در عمل، بسیاری از اوقات، محدودیت‌های درستی در IC اغلب به شکل انکار، یعنی عباراتی به شکل زیر محدود می‌شوند:

false:- A1,... ,An, not B1, … , not Bm

چنین محدودیتی بدان معنی است که برای همهA1، …، An درست نیست و در عین حال تمام B1، …، Bm به اشتباه است.

*KhatKhati* · 18/9/20

معنای غیررسمی و حل مسئله
شروط در P مجموعه گزاره‌های قیاسی را تعریف می‌کنند و از طریق آن یک توصیف (یامدل) حوزه مسئله را ارائه می‌کنند. محدودیت انسجام در IC ویژگی‌های عمومی مسئله را مشخص می‌کند که باید در هر راه‌حل مسئله مورد بررسی قرار گیرد. مسئله، G، یک مشاهده را بیان می‌کند که باید توضیح داده شود یا هدفی را بیان می‌کند که با ترکیب مثبت و منفی (NAF) مطلوب نشان داده می‌شود. چنین مسائلی توسط محاسبه «توضیحات قیاسی» G حل می‌شود. توضیح قیاسی در مورد مسئله G مجموعه‌ای از موارد مثبت (و گاهی منفی) از گزاره‌های قیاسی است، مثلاً هنگامی که این موارد به برنامه منطقی P، مسئله G و محدودیت‌های IC اضافه می‌شوند؛ بنابراین توضیحات قیاسی، برنامه منطقی P را با افزودن تعاریف کامل یا نسبی گزاره‌های قیاسی بسط می‌دهد. به این ترتیب، توضیحات قیاسی راه‌حل مسئله را با توجه به توصیف حوزه مسئله در P و ICشکل می‌دهند. تمدید یا تکمیل توصیف مسئله ارائه شده توسط توضیحات قیاسی، اطلاعات جدیدی را فراهم می‌کند که تا کنون در راه‌حل مسئله گنجانده نشده‌است. معیارهای کیفیت برای ترجیح دادن یک راه‌حل نسبت به دیگری که اغلب از طریق محدودیت‌های درستی بیان می‌شوند، می‌تواند برای انتخاب توضیحات خاص قیاسی در مورد مسئله G اعمال شود. محاسبه درALP، استدلال معکوس برنامه‌نویسی منطقی را با نوعی کنترل ترکیب می‌کند تا نشان دهد که توضیحات قیاسی محدودیت‌های درستی رابرطرف می‌کند. در ادامه چند مثال را ارائه می‌دهیم:

مثال ۱
برنامه منطق قیاسی ⟨ P , A , I C ⟩ {\displaystyle \langle P,A,{\mathit {IC}}\rangle }

در P {\displaystyle P}

با جملات زیر:

چمن مرطوب است '' 'اگر' '' باران ببارد.

چمن مرطوب است '' 'اگر' '' آب پاش روشن باشد.

خورشید می‌درخشید.

محموله‌های قیاسی در A باران ببارد و آب پاش روشن باشد هستند و تنها محدودیت یکپارچگی در IC به صورت زیر است:

دروغ می‌گوید و خورشید درخشید.

این مشاهده که چمن مرطوب است، دو توضیح بالقوه دارد، «باران می‌بارد» و «آب‌پاش روشن باشد»، که مستلزم این مشاهده بود.

مثال ۲
برنامه منطقی قیاسی شامل مواد زیر را در نظر بگیرید:

X یک شهروند است اگر X در ایالات متحده آمریکا متولد شود.

X یک شهروند است اگر X در خارج از ایالات متحده آمریکا متولد شود و X یک ساکن ایالات متحده است و X طبیعی است.

X یک شهروند است اگر X در خارج از ایالات متحده آمریکا متولد شود و Y مادر X و Y یک شهروند است و X ثبت می‌شود.

مریم مادرِ جان است.

مری یک شهروند است.

همراه با پنج عبارت قیاسی، «در ایالات متحده آمریکا متولد شده‌است»، «خارج از ایالات متحده آمریکا متولد شده‌است»، «ساکن ایالات متحده آمریکا»، «طبیعی است» و «ثبت شده‌است» و محدودیت یکپارچگی به صورت زیر است:

دروغ است اگر جان ساکن ایالات متحده باشد.

هدف «جان ساکن است» دارای دو راه حل قیاسی است، یکی از آنها «جان در ایالات متحده آمریکا متولد شد» دیگری این است که «جان در خارج از ایالات متحده آمریکا متولد شده‌است» و «جان ثبت شده» است. راه حل بالقوه تبدیل شدن به یک شهروند به وسیله محل اقامت و طبقهٔ قانونی، به دلیل عدم وجود محدودیت یکپارچگی، ناکام ماند.

یک مثال پیچیده از ALP به صورت زیر است:

مثال ۳
برنامه منطق قیاسی زیر یک مدل ساده از متابولیسم لاکتوز باکتری E.coli را توصیف می‌کند. برنامه، P، (در اولین قاعده خود) توصیف می‌کند که E.coli می‌تواند از لاکتوز قند تغذیه کند اگر دو آنزیم پرمیز و گالاکدوسیداس را تولید کند. مانند همه آنزیم‌ها، اینها در صورتی ساخته می‌شوند که توسط ژن کد گذاری شده باشند. دو آنزیم پرمیز و گالاکدوسیداس با دو ژن lac(y) و lac(z) کد می‌شود. در یک خوشه از ژن‌ها به نام اپرون (lac(X)) که وقتی مقادیر (amt)گلوکز پایین و لاکتوز پایین هستندیا زمانی که هر دو در سطح متوسط قرار دارند، بیان می‌شود. اطلاعات ناقص باید در هر مسئله مشخص شود. محدودیت انسجام، IC، بیان می‌کند که مقدار هر ماده (S)تنها می‌تواند یک مقدار داشته باشد.

دانش دامنه (P)

تغذیه (لاکتوز): - ایجاد (پرمیز)، ساخت (گالاکتوزیداز).

ساختن (آنزیم): - کد (ژن، آنزیم)، بیان (ژن).

بیان (lac (X)): - مقدار (گلوکز، کم)، مقدار (لاکتوز، سلام).

بیان (lac (X)): - مقدار (گلوکز، متوسط)، مقدار (لاکتوز، متوسط).

کد (lac(y) و پرمیز)

کد (lac(z) و گالاکدوسیداس)

دمای (کم): - مقدار (گلوکز، کم).

محدودیتهای یکپارچگی (IC)

نادرست: - مقدار (S, V1)، مقدار (S, V2)، V1 ≠ V2.

قیاس (A)

گزاره - قیاسی (مقدار)

هدف این مسئله عبارت است از G = feed(lactose) {\displaystyle G={\text{feed(lactose)}}}

. این مسئله به عنوان یک نظریه توضیح داده می‌شود یا به عنوان وضعیتی که باید با پیدا کردن یک برنامه به دست آید. این هدف دارای دو توضیح است:

Δ 1 = { amount(lactose, hi), amount(glucose, low) } {\displaystyle \Delta _{1}=\{{\text{amount(lactose, hi), amount(glucose, low)}}\}}

Δ 2 = { amount(lactose, medium), amount(glucose, medium) } {\displaystyle \Delta _{2}=\{{\text{amount(lactose, medium), amount(glucose, medium)}}\}}

تصمیم‌گیری که از دو طرف اتخاذ می‌شود می‌تواند به اطلاعات اضافی که در دسترس هستندبستگی داشته باشد، به عنوان مثال ممکن است مشخص شود که وقتی سطح گلوکز پایین باشد، ارگانیسم، رفتار خاصی را نشان می‌دهد. در این مدل اطلاعات اضافی این است که دمای ارگانیسم پایین است و با مشاهده حقیقت یا نادرستی این توضیح امکان‌پذیر است که به ترتیب اولین یا دومین توضیح را انتخاب کند.

*KhatKhati* · 18/9/20

معانی رسمی
معناشناسی صوری مفهوم اصلی توضیح قیاسی در ALP را می‌توان به روش زیر تعریف کرد:

با توجه به یک برنامه منطق قیاسی ⟨ P , A , I C ⟩ {\displaystyle \langle P,A,{\mathit {IC}}\rangle }

توضیح قانع‌کننده‌ای برای یک مسئله G {\displaystyle G}

محموعه Δ {\displaystyle \Delta }

در گزاره‌های قیاسی است به طوری که:

P ∪ Δ ⊨ G {\displaystyle P\cup \Delta \models G}

P ∪ Δ ⊨ I C {\displaystyle P\cup \Delta \models IC}

P ∪ Δ {\displaystyle P\cup \Delta }

سازگاری (منطق ریاضی) دارد.

این تعریف انتخاب معانی پایه برنامه‌نویسی منطقی را باز می‌کند که از طریق آن ما معنی دقیق رابـ ـطه ⊨ {\displaystyle \models }

و مفهوم ثبات برنامه‌های منطقی (گسترش یافته) را می‌فهمیم. هر کدام از معانی مختلف برنامه‌نویسی منطقی مانند تکمیل، معانی پایدار یا معقول می‌تواند (و در عمل کاربردی باشد)، مفاهیم مختلف توضیحات قیاسی و اشکال مختلف الگوریتمهای ALP را ارائه دهد. تعریف فوق یک دیدگاه خاص در مورد رسمیت دادن نقش محدودیت‌های یکپارچگی {IC} به عنوان محدودیت در راه حل‌های احتمالی ابداعیدر نظر می‌گیرد. این امر مستلزم آن است که این برنامه‌ها از طریق برنامه منطقی توسعه‌یافته با یک راه‌حل قیاسی تعمیم یابند، بنابراین در هر مدل از برنامه منطق بسط یافته، الزامات محدودیت‌ها به درستی برآورده می‌شود. در عمل، در بسیاری از موارد، این دو روش تعیین نقش محدودیت‌های تمامیت همزمان بابرنامه منطق و گسترش آن همیشه یک مدل منحصر به فرد دارند. بسیاری از سیستم‌های ALP از دیدگاه تطبیقی از محدودیت‌های درستی استفاده می‌کنند، زیرا این دیدگاه می‌تواند به راحتی بدون نیاز به هر روش تخصصی اضافی برای رضایت از محدودیت‌ها به درستی اجرا شود و محدودیت‌ها را به همان روش به عنوان هدف حل کند. توجه داشته باشید که در بسیاری از موارد عملی، شرط سوم در این تعریف رسمی از یک توضیح قیاسی درALP یا به‌طور جزیی برطرف می‌شود یا در شرط دوم از طریق استفاده از محدودیت‌های یکپارچگی خاص که سازگاری را ثبت می‌کنند، وجود دارد.

پیاده‌سازی و سیستم
بسیاری از پیاده‌سازی‌های ALP، مدل محاسباتی SLD را برای برنامه‌نویسی منطقی گسترش می‌دهند.ALP همچنین می‌تواند با پیوند آن با برنامه تنظیم پاسخ (ASP)، که در آن سیستم‌های ASP می‌تواند مورد استفاده قرار گیرد، اجرا شود. نمونه‌هایی از سیستم‌های رویکرد سابق عبارتند از ACLP, A-system, CIFF, SCIFF, ABDUAL و ProLogICA.

*KhatKhati* · 18/9/20

برنامه‌نویسی منطقی (به انگلیسی: Logic Programming) یک پارادایم برنامه‌نویسی است که به‌صورت عمده برپایهٔ منطق گسترش یافته‌است. هر برنامه در یک زبان برنامه‌نویسی منطقی، مجموعه‌ای از جملات منطقی‌ست که راستینه‌ها (به انگلیسی: Facts) و قوانین (به انگلیسی: Rules) یک مسئله را شرح می‌دهد. از رایج‌ترین زبان‌های برنامه‌نویسی منطقی می‌توان به پرولوگ و دیتالاگ اشاره کرد. در این زبان‌ها قوانین به شکل بند درج می‌شوند:

H :- A1, A2, ..., An.

بند فوق به‌صورت «H صحیح است اگر A1 و A2 و … و An صحیح باشند» خوانده می‌شود. هر بند دارای یک راس و یک بدنه است. در بند بالا H راس و A1, … , An بدنه هستند. قوانینی که دارای بدنه نباشند، راستینه یا فکت نامیده می‌شوند:

H.

تاریخچه
استفاده از منطق ریاضی برای نمایش و اجرای برنامه‌های رایانه‌ای اولین بار در دهه ۱۹۳۰ توسط آلونزو چرچ صورت گرفت.

خوش آمدید به رمان ۹۸ | بهترین انجمن رمان نویسی

ما را در شبکه‌های اجتماعی دنبال کنید

مدیر بازنشسته رمان ۹۸

مدیر بازنشسته رمان ۹۸

مدیر بازنشسته رمان ۹۸

مدیر بازنشسته رمان ۹۸

مدیر بازنشسته رمان ۹۸

مدیر بازنشسته رمان ۹۸

مدیر بازنشسته رمان ۹۸

مدیر بازنشسته رمان ۹۸

مدیر بازنشسته رمان ۹۸

مدیر بازنشسته رمان ۹۸

ما را در شبکه‌های اجتماعی دنبال کنید

درباره ما

لینک‌های پیشنهادی رمان ۹۸

آمار آنلاین