25121

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

Доклад

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

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

Русский

2013-08-12

26 KB

3 чел.

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

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

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

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

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

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

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

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

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

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

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

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

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

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


 

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

6108. Відповідальність працівників за порушення норм і правил з охорони праці 29.5 KB
  Відповідальність працівників за порушення норм і правил з охорони праці Види відповідальності: Дисциплінарна відповідальність включає догану або звільнення з роботи. Притягнути до відповідальності має право особа...
6109. Различные варианты определений уроков 29 KB
  Различные варианты определений уроков. Урок - это динамичная и вариативная форма организации процесса целенаправленного взаимодействия определенного состава учителей и учащихся, включающая содержание, формы, методы и средства обучения и система...
6110. Правові основи функціонування транспорту 27.13 KB
  Правове регулювання безпеки руху та експлуатації транспорту. Правове становище рухомого складу галузей транспорту. Правове становище земель транспорту. Приватизація об'єктів транспортного комплексу України
6111. Взаємозвязки економічних процесів та явищ 34.44 KB
  Взаємозв'язки економічних процесів та явищ Завдання уроку: з'ясувати, що таке економіка предмет та методи дослідження економічної наукиоб’єкти та суб'єкти економічних відносин. Обладнання: крейда, дошка, робочі зошити учн...
6112. Региональные финансы 30.41 KB
  Региональные финансы Управление финансами можно рассматривать как сознательное воздействие органов управления на финансовые отношения экономических субъектов региона, на их финансовые потоки, осуществляемые в целях осуществления и сбалансированности...
6113. Документ і правила його складання 30.96 KB
  Основним видом текстів в офіційно-діловому стилі є документи (лат. dokumentum - повчальний приклад, взірець, доказ). В українській мові це слово з'явилося наприкінці XVII - на початку XVIII ст
6114. Сутність композиції як основи художньої творчості 31.05 KB
  Сутність композиції як основи художньої творчості. Вступ до предмету Композиція. Короткий огляд історії розвитку композиції. План. Предмет і зміст курсу Композиція. Композиція як основа художньої творчості. Сутність ідей комп...
6115. Значение физических упражнений для здоровья человека 32.88 KB
  Введение. В условиях современного мира с появлением устройств, облегчающих трудовую деятельность (компьютер, техническое оборудование) резко сократилась двигательная активность людей по сравнению с предыдущими десятилетиями. Это, в конечном итоге, п...
6116. Я-грамадзянін Беларусі. Выхаваўчае мерапрыемства 30.42 KB
  Выхаваўчае мерапрыемства Я-грамадзянін Беларусі Мэта: выхаванне ў вучняў нацыянальнай самасвядомасці праз асэнсаванне нацыянальных каштоўнасцей, традыцый, творчай і сацыяльнай самарэалізацыі кожнага вучня. Задачы: - садзейнічаць фарміраванню с...