25121

Понятие о формальных языках. Алгоритмический язык

Доклад

Информатика, кибернетика и программирование

Алгоритмический язык. ЯЗЫК ФОРМАЛЬНЫЙ 1 совокупность исходных принятых за неделимые знаков и правил построения из них слов и словосочетаний; 2 искусственный язык позволяющий заменить операции с объектами операциями с соответствующими им знаками. Буква или символ – это простой неделимый знак совокупность которых образует алфавит языка.

Русский

2013-08-12

26 KB

3 чел.

  1.  Понятие о формальных языках. Алгоритмический язык.

ЯЗЫК ФОРМАЛЬНЫЙ — 1) совокупность исходных, принятых за неделимые, знаков и правил построения из них слов и словосочетаний; 2) искусственный язык, позволяющий заменить операции с объектами операциями с соответствующими им знаками.

Буква или символ – это простой неделимый знак, совокупность которых образует алфавит языка.

Цепочка – упорядоченная последовательность букв алфавита. Каждая цепочка имеет конечную длину, которая равна числу составляющих её букв. Цепочка может и не иметь букв, тогда это – пустая цепочка. Цепочки также называют словами.

Цепочки могут образовывать последовательности цепочек. Для этих целей используется бинарная операция над цепочками, которая называется конкатенацией.

Совокупность цепочек называется языком.

Существуют классификации ЯФ по характеру применяемого формального аппарата (язык автоматный, язык категориальный и т.п.) и по применению (алгоритмический язык, информационный язык, символический логико-математический язык, язык программирования). Важным классом интерпретированных ЯФ, создаваемых для практического использования, являются языки программирования и алгоритмические языки.

Формальный язык является объединением нескольких множеств:

множества исходных символов, называемых литерами (алфавит),

множества правил, которые позволяют строить из букв алфавита новые слова (правила порождения слов или идентификаторов),

множества предопределённых идентификаторов или словаря ключевых слов (прочие идентификаторы называются именами),

множества правил, которые позволяют собирать из имён и ключевых слов выражения, на основе которых строятся простые и сложные предложения (правила порождения операторов или предложений).

У ЯФ много общего с естественным языком, предложения которого также строятся в соответствии с грамматическими правилами. Однако ЯФ проще естественных языков. Они создаются одновременно с системой правил построения слов и предложений.

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


 

А также другие работы, которые могут Вас заинтересовать

57449. Фразеологизмы 33.5 KB
  Знать: о фразеологизмах устойчивых сочетаниях слов их роли в обогащении речи. Упражнение 96 дети зачитывают исконно русские слова затем заимствованные.
57451. Любимые книги 42.5 KB
  Цели: Повторить правописание буквосочетаний чу-щу, ча-ща, жи-ши; перенос слов. Развивать память, внимание, ассоциативное мышление, образную речь. Дать ориентир на познавательный интерес и творческую активность. Прививать любовь к чтению.
57452. Второстепенные члены предложения 47.5 KB
  Цель: Проверить теоретические знания по теме Второстепенные члены предложения. Совершенствовать навыки и умения видеть и выделять в предложениях...
57454. Тепловые двигатели 260.5 KB
  Цели урока: Образовательная: 1 показать необратимость тепловых процессов 2 исследовать возможность создания вечных двигателей на основе 1 и 2 начала термодинамики 3 рассмотрение проблемы энергоресурсов Земли...