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

زبان رسمی چیست و چگونه آن را از طبیعی متفاوت است؟ چگونه تشکیل شد؟ چه به زبان رسمی را می توان نسبت داد؟ و آن استفاده شود به مراجعه به او؟

ویژگی های زبان رسمی

بنابراین ما یک گروه از پاسخ زبانهای ساختگی، که توسط قوانین دقیق در مورد ساخت و ساز از عبارات، و همچنین درک خود مشخص می شود. سیستم های مورد استفاده برای اهداف صنعتی را می توان به زبان های رسمی نسبت داد. آنها در انطباق با قوانین روشن ساخته شده است، ارائه نمایش سازگار باشد، جمع و جور و دقیق از خواص و روابط مورد مطالعه موضوع و یا اشیاء مدل شده است. ارزش و معنای از علائم می تواند توسط هر ویژگی های عملی (استفاده از زمینه) نمی توان تغییر داد. این امکان به لطف حضور در زبان رسمی از قوانین تبدیل نحو و تفسیر معنایی است. آنها اغلب با استفاده از به عنوان یک پایه ریاضیات ساخته شده است. با توجه به این واقعیت است که آن را، در کل طول توسعه، استفاده از انواع طراحی های نمادین به انواع مفاهیم و اشیاء استفاده شده است. این چیزی است که زبان رسمی نیاز دارد. آنها به طور قابل توجهی می تواند داده ها را کاهش دهد. پیش از این، همراه با زبان های رسمی و طبیعی استفاده شده است، اما با عوارض تدریجی از موضوع و نیاز به تجزیه و تحلیل منطقی دقیق استدلال ریاضی، تصمیم گرفته شد به رها کردن گذشته است. این فرایند از هفدهم تا قرن XX به طول انجامید. این قرن گذشته پربار ترین از نظر زبان رسمی در نظر گرفته شده است. شاخه های مختلف خاص ایجاد شد. بنابراین، برای علم کامپیوتر زبان های برنامه نویسی اهمیت ویژه و جبر منطق هستند، نه تنها نظری، بلکه از نقطه نظر عملی.

تعریف

چه به زبان های رسمی می توان به نسبت، ما در حال حاضر خلاصه توضیح داده شده. اما چه می توان در مورد آنها می گویند؟ زبان رسمی بسیاری از تعاریف مختلفی داده شده است. برای همه آنها، آن را به یک مقدار زیادی از زمان ترک، بنابراین نگاهی به محبوب ترین:

1. یک لیست ساده از کلمات در زبان - معمولا می گویند بنابراین با توجه به نوع نهایی ساخت و ساز و در مورد آنهایی که دارای یک ساختار ساده است.
2. کلمات تولید شده توسط یک دستور زبان رسمی است.
3. ساختار ایجاد شده توسط عبارات منظم.
4. کلمات تولید شده توسط BPF طراحی.
5. ساختار، تشخیص توسط یک ماشین متناهی.

بیایید نگاهی به یک مثال. بیایید می گویند ما باید تمام حروف الفبا، توجه به دو عدد 1 و 0. برای نمایش حرف "O"، ما با استفاده از ترکیبی از 1010001. این استفاده از یک زبان رسمی است. همچنین ممکن است به استفاده از کلمات خالی (زمانی که رشته دارای طول صفر است، و هیچ چیز وجود دارد) با طراحی ویژه در شکل آشنا برای ما. اما در جزئیات بیشتر به درک آنچه یک زبان رسمی است، کمک 4 نمونه هایی است که در کنار داده خواهد شد. چه کاری انجام میدهد؟ برای درک خواننده بود که یک زبان رسمی می توان نسبت داد. اما کمی بیشتر در مورد چگونه آنها ایجاد می کند.

ساخت و ساز زبان رسمی

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

1. برای شروع، حروف الفبا، و یا برخی از مجموعه ای از شخصیت خاصی که ساخته شده و عبارت مورد استفاده در زبان را انتخاب نمایید. توسط زبان رسمی به هیچ وجه به برنامه با استفاده از یک کامپیوتر است.
2. این نحو، این است که، ویژگی ها و قوانین است که جملات معنی دار ساخت توصیف می کند.
3. در قوانین مشخصی برای کلمات و عبارات است. اینجا است که یک حکومت وجود دارد: هر دنباله ای از حروف باید قادر به شمارش کلمات باشد.

توسط زبان رسمی اشاره به هر گونه ساختار است که قوانین روشن - باید آن را یاد می شود. هنگامی که ساخت، برخی از ویژگی وجود دارد. بنابراین، اصطلاح "شخصیت" بسیار چند منظوره از لحاظ معنا است، بنابراین در بیشتر قسمت مدت به عنوان یک "حرف" استفاده می شود. اما در زیر آنها را می توان درک کرد نه تنها نماد معمول برای ما، بلکه براکت، کاراکترهای خاص، و بیشتر. این تنها به زبان رسمی اعمال می شود.

مثال 1

بیایید با 1 و 0. شروع در چنین مواردی، استفاده از بیشتر مفهوم "مدت" و "فرمول." اولین بار به عنوان یک آنالوگ از جسم و اطلاق می شود که به چیزی خاص عمل می کند. اول از همه ثابت و متغیرهای فردی در زیر آنها را درک کنید. از این تعداد، به نوبه خود، ساخت سازه های پیچیده تر، استفاده شده است که مورد استفاده در برخی از عملکرد زبان است. تحت شرایط این گروه درک فرمول، استفاده از آن در یک زبان برنامه نویسی خاص امکان پذیر است. این "دستورالعمل" پردازش خواهد شد، و شخص به نتیجه مورد نظر را دریافت کنید.

مثال 2

منطق مثال است که در آن وارونگی (¬)، گسست وجود دارد در نظر بگیرید (∧)، پیوستگی (∨) و مفهوم (⇒) و چند نفر دیگر. در چنین ضبط تصاویر می تواند به عنوان داده:

1. A؛
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

به عنوان شخصیت های A، B، C، جایگزین متغیرها و شما عملیات منطقی است. که در آن به اعمال زبانهای رسمی از این نوع؟ استفاده گسترده از چنین مکانیسم است در زبان های برنامه نویسی، ریاضیات، روابط، توابع منطقی و ریاضی، و یا قطعات که توسط برنامه نویس شرح داده شده است در بر داشت.

به عنوان مثال 3

اجازه دهید در یک فرمول پیچیده تر منطقی نگاه کنید:

¬ (A∨¬S) ⇔ ¬A∧S = 1

به همین دلیل ما زبان رسمی نیاز دارند. تصور کنید چه اتفاقی می افتاد اگر آن را در کلمات توصیف شده بود؟ در حال حاضر، بر اساس یک فرمول ما نتیجه گیری استنباط کنیم. عبارت معنی دار را می توان در زبان رسمی به دست آمده تنها زمانی که مقررات خاصی از قبل تشکیل، تغییر و "درک" از فرمول و شرایط آنها ساخته شده است مورد احترام:

1. فرمول مدت ساخت و ساز و.
2. بررسی جنبه های معنایی و تفسیر؛
3. دنباله ای از یکی از فرمول ها و دیگر مدت.

هر زبان رسمی باید به خوبی تاسیس مجموعه ای از قوانین است.

به عنوان مثال 4

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

نتیجه

زبان های رسمی به طور گسترده ای در علم، به خصوص هنر استفاده می شود. در طول تحقیقات علمی و اجرای فعالیت های عملی آنها می توانند با طبیعی از نظر توانایی های بیانی قابل توجهی از دومی در تعامل است،. با این حال زبان رسمی دقت بیشتری می تواند انتقال دانش و به انجام تبادل عینی از اطلاعات انباشته شده توسط بشر است.