Бұл формалды тілдерді жатқызуға болады? Пайдалану үлгілері

Бұл формальды тіл немен табиғи? Ол қалай қалыптасты? Бұл формалды тілдерді жатқызуға болады? Және бұл қолданылады үшін белгілер?

Сипаттамасы формалды тілдер

Осылай атайды тобына жасанды тілдерді сипатталатын нақты ережелеріне қатысты өрнектерді құру, сондай-ақ олардың түсіну. - Формалды тілдерді жатқызуға болады жүйесін, пайдаланылатын қолданбалы мақсаттар үшін. Олар салынуда сақтай отырып, нақты ережелерін қамтамасыз етеді непротиворечивое, жинақы және нақты бейнеленуі қарым-қатынастардың және қасиеттерінің оқылатын пән саласы немесе үлгіленетін. Мәні мен мағынасы пайдаланылатын белгілердің өзгеруі мүмкін қандай да бір прагматикалық ерекшеліктерін (контекст пайдалану). Бұл арқасында мүмкін қатысуына формальды тілдер ережесін синтаксического қайта құру және семантикалық түсіндіру. Жиі олар салынуда пайдалану кезінде база ретінде математика. Арқасында бұл, ол бүкіл аралықта дамыту, қолданылған әр түрлі символдық белгілер қолданылған әр түрлі түсініктер мен объектілері. Міне не үшін формальды тілдер. Олар едәуір қысқартуға мүмкіндік береді деректер. Бұрын қатар формалды қолданылды және табиғи тілдер, бірақ бірте-бірте күрделеніп затының қажеттілігіне байланысты жасауға қатаң логикалық талдау математикалық пайымдауларды шешім қабылданды бас тартуға соңғы. Бұл процесс растянулся XVII ХХ ғасыр. Дәл өткен ғасыр болып саналады неғұрлым жемісті тұрғысынан дамыту формальді тілдер. Құрылды әр түрлі арнайы тармақталуы. Мәселен, информатика ерекше мәні бар, программалау тілдері алгебра және логика, ғана емес, теориялық, бірақ практикалық тұрғыдан.

Анықтамасы

Бұл формалды тілдерді жатқызуға болады, біз қысқаша түсіндірді. Бірақ бұл туралы айтуға болады өздері? Формалды тілдерді беріледі көптеген әр түрлі анықтамалары. Үшін оларды барлық тізіп, көп уақыт кетеді, сондықтан танысамыз ең танымал:

1. Қарапайым сөздер тізімін кіретін бұл тіл – әдетте осылай айтады қатысты соңғы үлгідегі құру және про сол оның ішінде, ол бар қарапайым құрылымы бар.
2. Сөздер, порожденные белгілі бір формальды тілінің грамматикасы.
3. Құрылымы құрылған тұрақты выражениями.
4. Сөздер, порожденные БНФ-конструкциясы.
5. Құрылымы, распознаваемая соңғы автоматпен.

қарастырайық мысалында. Мысалы, бізде бүкіл алфавит, берілген екі цифрмен: 1 және 0. Көрсету үшін әріптерді «Туралы» біз комбинациясын 1010001. Бұл қолдану формальды тілі. Сондай-ақ, пайдаланылуы мүмкін бос сөздер (қашан жолы бар нөлдік ұзындығы мен онда ештеңе жоқ) ерекше белгісі, үйреншікті жағдайдан біз үшін. Бірақ неғұрлым егжей-тегжейлі түсіну, бұл формальды тілі көмектеседі 4 мысал, олар келтірілген оқу. Бұл не үшін керек? Үшін оқырман болды түсіну, формалды тілдерді жатқызуға болады. Бірақ сәл де құрылады.

Көп:

Медициналық колледжі НИУ "белгород мемлекеттік университетінің дипломын алды": мекен-жайы, мамандығы, түсуі, пікірлер

Медицина колледжі медицина институтының қаласында Белгород жыл сайын қабылдайды, өзінің қанатының астына жүздеген студент облыс және жақын өңірлердің және жыл сайын шығарады мамандар орта медициналық білімі бар.қандай мамандықтар дайындайды мекемесі,...

Нервтік импульс, оның түрлендіру және беру тетігі

Жүйке жүйесі адам ретінде өзіндік үйлестірушісі біздің ағзамызда. Ол деп хабарлайды команданың ми мускулатуре, органдарға, тіндерге және өңдейді сигналдар шыққан олардан. Ретінде өзіндік тасығыштың деректер пайдаланылады жүйке серпін. Ол нені білдіре...

Мыс гидроксиді

Біріктіру гидроксиді, мыс (ІІ) « білдіреді және ашық-көк түсті кристалдар, сондай-ақ болуы аморфную (порошковидную) құрылымы. Ол нерастворимо суда, бағалау бойынша тізілім қауіпсіздік орта. Химиялық формуласы заттар - Cu(OH)₂, ол болып табылады...

Құрастыру ресми тілдері

Әрбір формальды тілі болып табылады конструкциясы, ол құрылды, онда мен кім",-дейді. Салынуда, олар, әдетте, бір схема:

1. таңдайды алфавит немесе қандай да бір жиынтығы белгілі бір символдар, оның ішінде және салынатын болады білдірген қолданылатын тілінде. - Формалды тілдерге жатады кез келген тәсілі бағдарламалау компьютер көмегімен.
2. синтаксисі Сипаттайды, яғни ерекшеліктері мен ережелері бойынша салынатын болады осмысленные ұсыныстар.
3. белгіленген ережелер Бойынша жасалады сөздер мен өрнектер. Мұнда ереже бар: кез-келген әріптердің реті мүмкіндігіне ие болуы тиіс болып саналады деген сөзбен ауыстырылсын.

- формальды тілдерге жатады кез келген құрылымы бар нақты ережелер « бұл есте сақтау қажет. Құру кезіндегі кейбір ерекшеліктер бар. Мәселен, түсінік, «белгісі» өте многофункционально тұрғысынан мағыналық жүктеме, сондықтан массасы өз пайдаланады мұндай термин ретінде «әріп». Бірақ олардың астында түсіну мүмкін емес, кәдімгі біз үшін белгілер бар, бірақ мен жақшаға, арнайы белгілер және тағы басқалар. Жатады, бұл тек формалды тіл.

Мысал 1

бастайық 1 және 0. Мұндай жағдайларда пайдаланады тағы ұғымдар «терм» және «формула». Бірінші ретінде аналогы атындағы объектіні белгілеу үшін пайдаланылады нәрсе нақты болады. Бірінші кезекте астында түсінеді тұрақты және пәндік айнымалылар. Оның ішінде, өз кезегінде, салынып жатқан аса күрделі конструкция, ол үшін пайдаланылады қолданылатын қандай да бір тілде функциясы. Астында формуламен түсінеді тобына термов, қолдану, оның белгілі бір тілде бағдарламалау ықтимал болып табылады. Осы «нұсқау» өңделді, және адам алады, қажетті нәтиже.

Мысал 2

Қарастырайық мысалында логика бар инверсия (¬), дизъюнкция(∧), егер(∨), импликация(⇒) және басқа да бірқатар. Ретінде білім келтіруге болады мұндай жазбалар:

1. А;
2. ∧ ⇒ ¬А
3. ¬ А∨¬С)

ретінде рәміздерді А, В, С подставьте айнымалылар және сіз логикалық операциялар. Онда қолданылады формалды тілдер осындай үлгідегі?Кеңінен пайдалану тетік тауып, программалау, математика, қатынастар, логикалық және математикалық функциялары немесе жекелеген бөліктерінде, олар сипатталған өзі бағдарламашы.

Мысал 3

қарастырайық неғұрлым күрделі логикалық формула:

¬ А∨¬С) ⇔ ¬А∧С = 1

Міне, не үшін формальды тілдер. Елестетіп көріңізші болар еді, егер бұл описывалось деген сөздермен ауыстырылсын ма? Ал енді сүйене отырып, формуланы боламыз шығаруға умозаключения. Осмысленные білдіру алуға болады формалды тілінде ғана сақталады алдын ала белгілі бір ережелер білім беру, өзгерту және «түсіну» формулалар мен термов, олар жасалады:

1. Құру терм және формулалар;
2. Пысықтау семантикалық аспектісі және интерпретациялау;
3. жүру Тәртібін бір формулалар мен терм басқа.

әрбір формалды тілінде болуы тиіс жақсы пысықталуы жиынтығы.

Мысал 4

болуының Арқасында " синтаксисе тілі ережелері шығару үшін термов мен формулаларды орындауға болады изоморфные түрлендіру модельдері. Сонымен қатар жүргізілетін болады ғана емес, көрініс (репрезентация) белгілі бір жиынтығы білім, бар, бірақ және, мүмкін, жаңа ақпарат алу. Әрі түрлендіру, бірақ болады бойынша нақты және қатаң ережелерге әбден болады автоматтандыру. Ұқсас технологиялар қолданылады сараптамалық жүйелер, деректер мен білімдер мен бағдарламалық өнімдер шешімдер қабылдауды қолдау.

Қорытынды

Формальды тілдер кеңінен қолданыс тапты ғылымда, әсіресе техникасы. Кезінде ғылыми-зерттеу жұмыстарын жүргізу немесе жүзеге асыру кезінде практикалық қызметте олар өзара табиғи байланысты едәуір айқын қабілеттерін соңғы. Бірақ формальды тілдер мүмкіндік береді неғұрлым дәл бере білу және жүргізуге объективті ақпаратпен алмасу, жинақталған адамзат.