Ресми тілде қандай жатқызуға болады? пайдалану мысалдар

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

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

Сондықтан біз бір топ қоңырау жасанды тілдер, өрнектерді салу қатысты нақты ережелер сипатталады, сондай-ақ олардың түсінігін. өнеркәсіптік мақсаттар үшін пайдаланылатын жүйелер ресми тілге жатқызуға болады. Олар оқыған қасиеттері мен қарым-қатынастардың, дәйекті жинақы және дәл дисплейді қамтамасыз ету, анық ережелеріне сәйкес салынуда пәндік облыстың немесе модельденген объектілерін. таңбалар мәні мен мағынасы кез келген прагматикалық ерекшеліктерін (контекст пайдалану) бойынша өзгерту мүмкін емес. Бұл синтаксисі айырбастау және семантикалық түсіндіру ережелерінің ресми тілде болуына арқасында болып табылады. Олар жиі математика негізі ретінде пайдалана отырып, салынды. Байланысты ол, даму бүкіл аралығының бойынша, символикалық белгілердің түрлі пайдаланылатын, бұл шын мәнінде тұжырымдамалар мен объектілердің түрлі қолданылды. Яғни ресми тілдерін қажет нәрсе. Олар айтарлықтай деректерді азайтуға болады. Бұрын, ресми және табиғи тілде бірге қолданылған, бірақ пән біртіндеп асқынуларын және математикалық пайымдау қатаң логикалық талдау жасау қажеттілігіне, ол өткен бас тартуға шешім қабылданды. Бұл процесс XX ғасырдың XVII созылды. Бұл өткен ғасырдың ресми тілде тұрғысынан ең жемісті саналады. әртүрлі арнайы филиалдары құрылды. Сондықтан, информатика ғана емес теориялық, сонымен қатар Практикалық тұрғыдан, атап айтқанда, маңызы программалау тілдерін және логика алгебрасының болып табылады.

анықтама

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

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

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

ресми тілде құрылысы

Әрбір тіл рет және біреу құрылды ресми құрылымы болып табылады. Олар, әдетте, сол үлгі бойынша салынды:

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

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

МЫСАЛ 1

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

2-мысал

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

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

таңбадан A, B ретінде, C, айнымалылар алмастыра және сіз алуға логикалық операцияларды. Осы түрдегі ресми тілдерін қолдануға қайда? осындай тетігін кеңінен пайдалану бағдарламашы сипатталған болатын, оның программалау тілдері, математика, қарым-қатынас, логикалық және математикалық функцияларды, немесе бөліктерінде табылған.

3-мысал

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

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

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

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

Әрбір ресми тілі-ақ ережелер жиынтығын белгіленуі тиіс.

МЫСАЛ 4

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

қорытынды

Ресми тілдері, әсіресе өнер, ғылым кеңінен қолданылады. ғылыми-зерттеу және тәжірибелік іс-шараларды іске асыру барысында олар соңғысының айтарлықтай экспрессивті қабілеттерін ескере отырып, табиғи әрекеттесе алады. Дегенмен ресми тілдері дәлірек білімін жеткізуге болады және адамзат жинақтаған ақпарат объективті алмасуды жүзеге асыруға.