25121

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

Доклад

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

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

Русский

2013-08-12

26 KB

3 чел.

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

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

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

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

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

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

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

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

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

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

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

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

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

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


 

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

41702. Построение паспорта прочности породы. Определение сцепления и угла внутреннего трения 43.68 KB
  Произвести краткую статическую обработку результатов испытаний; Построить паспорт прочности горной породы в координатах σ τ; По паспорту прочности определить сцепление и угол внутреннего трения породы. Результаты испытаний представляют собой ряд равноточных измерений поэтому их обработку ведем в следующей последовательности: Определяем среднее значение σр σсж результатов испытаний: ...
41703. ОПЕРАЦИОННАЯ СИСТЕМА MS-DOS 115 KB
  Целью работы является изучение файловой структуры диска и основных ее элементов, основных сервисных функции операционной системы MS-DOS и приобретение практических навыков их использования.
41704. РАСЧЕТ ЦЕПИ ПОСТОЯННОГО ТОКА 182.5 KB
  Я исследовал токи, напряжения и мощности в цепи постоянного тока с помощью пакета прикладных программ PSpise. Так же я составили описание схемы на внутреннем языке PSpice, предварительно заменив источники тока, источниками напряжений и упростил схему.
41706. Программная реализация алгоритмов линейной структуры на языке программирования Turbo Pascal 153.86 KB
  Описание объявление данных содержит упоминание всех объектов используемых в программе и включает в себя: раздел подключаемых библиотек модулей определяется служебным словом USES и содержит имена подключаемых модулей: uses CRT Grph; раздел описания меток: любой оператор в программе может быть помечен меткой. Типы данных. Под типом данных понимается множество допустимых значений этих данных а также совокупность операций над ними. Тип определяет также и формат внутреннего представления данных в памяти компьютера.
41707. Знакомство и приемы работы в интегрированной среде языка Турбо-Паскаль 52.4 KB
  на экране монитора ПК могут формироваться следующие видимые компоненты среды: меню окна диалоговые окна и строка состояния. Меню называется прямоугольный участок экрана содержащий ряд ключевых слов и предназначенный для выбора одного из предлагаемых вариантов работы. Содержащиеся в меню ключевые слова обозначают возможные альтернативы называемые в дальнейшем опциями option выбор. Интегрированная среда Турбо-Паскаля обеспечивает иерархическую систему меню.
41708. ИССЛЕДОВАНИЕ ТИПОВЫХ ЗВЕНЬЕВ ЛИНЕЙНЫХ АСР 165.27 KB
  Переходная характеристика Время сек Импульсная характеристика Время сек Рисунок 1 Переходная и импульсная характеристика звена W1 Переходная характеристика Время сек Импульсная характеристика Время сек Рисунок 2 Переходная и импульсная характеристика звена W2 Переходная характеристика Время сек Импульсная характеристика Время сек Рисунок 3 Переходная и импульсная характеристика звена W3 Переходная характеристика Время сек Импульсная характеристика Время сек Рисунок 4 Переходная и импульсная характеристика звена W4...
41709. Расчет поперечной рамы стального каркаса одноэтажного здания на действие постоянной нагрузки 702.68 KB
  Поперечное сечение в виде 2х уголков с параметрами уголка 160×100×10 Высота низа колонн 8 м Поперечное сечение в виде трубы с параметрами 720×12 Высота верха колонн 6 м Поперечное сечение в виде трубы с параметрами 720×8 q = 24 кН м P = 32 кН ℓ = 32 м Цели лабораторной работы: Произвести расчет поперечной рамы стального каркаса одноэтажного здания с помощью ПК ЛИРА Определить для основных сечений колонн и ригеля максимальные значения нормальных и касательных напряжений Сделать вывод о работе конструкции Ход работы: Создание расчетной...
41710. Команды MSDOS 251.68 KB
  Название команды Синтаксис команды Создание файла с консоли copycon имя файла Удаление файла del имя файла Переименование файла ren имя файла 1 имя файла 2 Редактирование файла edit имя файла Переход на диск имя диска Переход в каталог cd путь Создание каталога md имя каталога Удаление каталога rd имя каталога Очистка экрана Cls Вывод содержимого файла на экран type имя файла Копирование файла copy путь 1 что копируется путь 2 куда копируется Поиск файла filefind имя файла Работа с командной строкой Prompt Информация о команде команда ...