22. Методы формального определения языков программирования.

Формальный язык может быть определен по-разному, например:

• Простым перечислением слов, входящих в данный язык. Этот способ, в основном, применим для определения конечных языков и языков простой структуры.

• Словами, порождёнными некоторой формальной грамматикой (см. иерархия Хомского).

• Словами, порождёнными регулярным выражением.

• Словами, распознаваемыми некоторым конечным автоматом.

• Словами, порождёнными БНФ-конструкцией.

Если алфавит задан как {a, b}, а язык L включает в себя все слова над ним, то слово ababba принадлежит L. Пустое слово (то есть строка нулевой длины) допускается и часто обозначается как e, ε или Λ.

Некоторые примеры формальных языков:

• множество всех слов над {a, b}

• множество {aⁿ}, где n — неотрицательное число, а aⁿ означает, что a повторяется n раз

• множество синтаксически корректных программ в данном языке программирования

23. Характеристики программного обеспечения: понятность, мобильность, надежность, показатели эффективности, точность.

понятность

Назначение ПО должно быть понятным, из самой программы и документации.

надёжность

отсутствие отказов и сбоев в работе программ, а также простота исправления дефектов и ошибок:

эффективность

Насколько рационально программа относится к ресурсам (память, процессор) при выполнении своих задач.

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