25121

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

Доклад

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

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

Русский

2013-08-12

26 KB

3 чел.

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

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

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

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

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

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

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

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

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

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

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

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

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

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


 

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

74499. ИНФОРМАЦИОННЫЕ СИСТЕМЫ. ПОНЯТИЕ ЭКОНОМИЧЕСКОЙ ИНФОРМАЙЦИИ 92 KB
  К ЭИ относятся сведения которые циркулируют в экономической системе о процессах производства материальных ресурсах процессах управления производством финансовых процессах а также сведения экономического характера которыми обмениваются между собой различные системы управления. Уточним понятие экономической информации на примере системы управления промышленным предприятием. Структура системы управления Система управления предприятием должна обеспечить требуемое состояние производства Zt план выпуска продукции используя вход X t...
74500. ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ 112 KB
  Примерами ОС являются MS DOS практически не используется OS 2 семейство Unix семейство Windows. Операционные системы можно классифицировать по различным признакам: По числу параллельно решаемых на компьютере задач ОС разделяют: однозадачные например MS DOS; многозадачные OS 2 UNIX Windows Linux...
74501. Корпоративные информационные системы. Понятие реинжиниринга бизнес- процессов 204 KB
  Другими словами, реинжиниринг бизнес-процессов (РБП, англ. business process reengineering, BPR) в отличие от известных в последние десятилетия многочисленных методов постепенного совершенствования работы компаний
74502. Технологии искусственного интеллекта 231.5 KB
  Основные области применения ИИ: Доказательства теорем; Игры; Распознавание образов; Принятие решений; Адаптивное программирование; Сочинение машинной музыки; Обработка данных на естественном языке; Обучающиеся сети нейросети В экономике в настоящее время получают широкое распространение принятие решений и нейросети. Отметим что в настоящее время используются такие модели представления знаний как продукционная модель основанная на построении правил ЕСЛИ ТО; фреймовая модель в которой описывается один концептуальный объект а...
74503. СЕТЕВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ 516.5 KB
  Основное назначение концентратора это объединять между собой компьютеры в сегменты а затем сегменты в в единую сети. Сегментом называе6тся обособленная группа компьютеров в сети. Технология соединения сегментов сети с помощью коммутаторов switch появилась в 1990 году для решения проблемы повышения пропускной способности сети. Использование коммутаторов позволяет избежать проблем коллизий в сети Ethernet так как наличие портов и буферизация данных не позволяет распространяться коллизии по всей сети.
74504. Понятие глобальной компьютерной сети Интернет 155.5 KB
  Понятие глобальной компьютерной сети Интернет 24 октября 1995 года Федеральный сетевой совет FNC США единодушно одобрил резолюцию определяющую термин Интернет Это определение разрабатывалось при участии специалистов в области сетей и в области прав на интеллектуальную собственность. Интернет это глобальная информационная система которая: логически взаимосвязана пространством глобальных уникальных адресов основанных на Интернетпротоколе IP или на последующих расширениях или преемниках IP; способна поддерживать коммуникации с...
74505. Модель OSI. Принцип взаимодействия компьютеров в сети 211 KB
  В модели OSI все протоколы сети делятся на семь уровней: физический канальный сетевой транспортный сеансовый представительный и прикладной Рис. Основной задачей канального уровня является прием кадра из сети и отправка его в сеть. Кадр может быть доставлен по сети к другому компьютеру только в том случае если протокол соответствует той топологии для которой он был разработан. Сетевой уровень Network lyer служит для образования единой системы объединяющей несколько сетей причем эти сети могут быть различной топологии...
74506. История развития компьютерных сетей. Глобальные и локальные сети 263 KB
  История развития компьютерных сетей Компьютерные сети являются логическим результатом эволюции развития компьютерных технологий. Такие многотерминальные централизованные системы внешне напоминали локальные вычислительные сети до создания которых в действительности нужно было пройти еще большой путь. Терминалы в этом случае соединялись с компьютером через телефонные сети с помощью специальных устройств модемов. Компьютеры получили возможность обмениваться данными в автоматическом режиме что является базовым механизмом любой компьютерной сети.
74507. Технические средства и системное программное обеспечение корпоративных информационных систем 5.37 MB
  Описание архитектуры фон Неймана В настоящее время используются разнообразные принципы логической и структурной организации ЭВМ. Исторически первыми но не утратившими своего значения являются однопроцессорные ЭВМ фоннеймановской архитектуры. В основу архитектуры положены традиционные принципы построения однопроцессорной ЭВМ сформулированные Дж. Как показывает дальнейшее развитие и совершенствование компьютеров такая архитектура построения ЭВМ является препятствием для дальнейшего роста производительности компьютера.