Выберите Ваш город
X
- Абакан
- Азов
- Александров
- Алексин
- Альметьевск
- Анадырь
- Анапа
- Ангарск
- Анжеро-Судженск
- Апатиты
- Арзамас
- Армавир
- Арсеньев
- Артем
- Архангельск
- Асбест
- Астрахань
- Ачинск
- Балаково
- Балахна
- Балашиха
- Балашов
- Барнаул
- Батайск
- Белгород
- Белебей
- Белово
- Белогорск
- Белорецк
- Белореченск
- Бердск
- Березники
- Берёзовский
- Бийск
- Биробиджан
- Биробиджан
- Благовещенск
- Бор
- Борисоглебск
- Боровичи
- Братск
- Брянск
- Бугульма
- Будённовск
- Бузулук
- Буйнакск
- Великие Луки
- Великий Новгород
- Верхняя Пышма
- Видное
- Владивосток
- Владикавказ
- Владимир
- Волгоград
- Волгодонск
- Волжск
- Волжский
- Вологда
- Вольск
- Воркута
- Воронеж
- Воскресенск
- Воткинск
- Всеволожск
- Выборг
- Выкса
- Вязьма
- Гатчина
- Геленджик
- Глазов
- Горноалтайск
- Грозный
- Губкин
- Гудермес
- Гуково
- Гусь-Хрустальный
- Дербент
- Дзержинск
- Димитровград
- Дмитров
- Долгопрудный
- Домодедово
- Донской
- Дубна
- Евпатория
- Егорьевск
- Ейск
- Екатеринбург
- Елабуга
- Елец
- Ессентуки
- Железногорск
- Жигулёвск
- Жуковский
- Заречный
- Зеленогорск
- Зеленодольск
- Златоуст
- Иваново
- Ивантеевка
- Ижевск
- Избербаш
- Иркутск
- Искитим
- Ишим
- Ишимбай
- Йошкар-Ола
- Казань
- Калининград
- Калуга
- Каменск - Уральский
- Каменск-Шахтинский
- Камышин
- Канск
- Каспийск
- Кемерово
- Керчь
- Кинешма
- Кириши
- Киров
- Кирово-Чепецк
- Киселёвск
- Кисловодск
- Климовск
- Клин
- Клинцы
- Ковров
- Когалым
- Коломна
- Комсомольск-на-Амуре
- Копейск
- Королёв
- Кострома
- Котлас
- Красногорск
- Краснодар
- Краснокаменск
- Краснокамск
- Краснотурьинск
- Красноуфимск
- Красноярск
- Кропоткин
- Крымск
- Кстово
- Кузнецк
- Кумертау
- Кунгур
- Курган
- Курск
- Кызыл
- Лабинск
- Лениногорск
- Ленинск-Кузнецкий
- Лесосибирск
- Липецк
- Лиски
- Лобня
- Лысьва
- Лыткарино
- Люберцы
- Магадан
- Магнитогорск
- Майкоп
- Махачкала
- Междуреченск
- Мелеуз
- Миасс
- Минеральные воды
- Минусинск
- Михайловка
- Михайловск
- Мичуринск
- Москва
- Мурманск
- Муром
- Мытищи
- Набережные Челны
- Назарово
- Назрань
- Нальчик
- Наро-Фоминск
- Находка
- Невинномысск
- Нерюнгри
- Нефтекамск
- Нефтеюганск
- Нижневартовск
- Нижнекамск
- Нижний Новгород
- Нижний Тагил
- Новоалтайск
- Новокузнецк
- Новокуйбышевск
- Новомосковск
- Новороссийск
- Новосибирск
- Новотроицк
- Новоуральск
- Новочебоксарск
- Новочеркасск
- Новошахтинск
- Новый Уренгой
- Ногинск
- Норильск
- Ноябрьск
- Нягань
- Обнинск
- Одинцово
- Озёрск
- Октябрьский
- Омск
- Орел
- Оренбург
- Орехово-Зуево
- Орск
- П-Камчатский
- п. Косая Гора
- Павлово
- Павловский Посад
- Пенза
- Первоуральск
- Пермь
- Петрозаводск
- Подольск
- Полевской
- Прокопьевск
- Прохладный
- Псков
- Путилково
- Пушкино
- Пятигорск
- Раменское
- Ревда
- Реутов
- Ржев
- Рославль
- Россошь
- Ростов-На-Дону
- Рубцовск
- Рыбинск
- Рязань
- Салават
- Салехард
- Сальск
- Самара
- Санкт-Петербург
- Саранск
- Сарапул
- Саратов
- Саров
- Свободный
- Севастополь
- Северодвинск
- Северск
- Сергиев Посад
- Серов
- Серпухов
- Сертолово
- Сибай
- Симферополь
- Славянск-на-Кубани
- Смоленск
- Соликамск
- Солнечногорск
- Сосновый Бор
- Сочи
- Ставрополь
- Старый Оскол
- Стерлитамак
- Ступино
- Сургут
- Сызрань
- Сыктывкар
- Таганрог
- Тамбов
- Тверь
- Тимашёвск
- Тихвин
- Тихорецк
- Тобольск
- Тольятти
- Томск
- Троицк
- Туапсе
- Туймазы
- Тула
- Тюмень
- Узловая
- Улан-Удэ
- Ульяновск
- Урус-Мартан
- Усолье-Сибирское
- Уссурийск
- Усть-Илимск
- Уфа
- Ухта
- Фрязино
- Хабаровск
- Ханты-Мансийск
- Хасавюрт
- Химки
- Чайковский
- Чапаевск
- Чебоксары
- Челябинск
- Черемхово
- Череповец
- Черкесск
- Черногорск
- Чехов
- Чистополь
- Чита
- Шадринск
- Шали
- Шахты
- Шуя
- Щелкино
- Щёкино
- Электросталь
- Элиста
- Энгельс
- Южно-Сахалинск
- Юрга
- Якутск
- Ярославль
- Другой город
Мы помогаем учащимся со всей России с 2007 года!
а также 38 городов России
|
Скачать Гарантия | |
| Код работы: | 3423 | |
| Дисциплина: | Программирование | |
| Тип: | Контрольная | |
| Вуз: | СибГУПС - посмотреть другие работы и дисциплины по этому вузу | |
| Цена: | 290 руб. | |
| Просмотров: | 2290 | |
| Выложена: | 23 июня 2012г. | |
| Содержание: |
Лабораторно-практическая работа №2. Семантическая теория программ 1) Функции: F(n), G(n) определены с помощью операционной семантики равенствами: F(0)=1, G(0)=2, F(n)=G(n-1), G(n)=F(n-l) + G(n-1). Найти значения F(3) и G(3). 2) Формальные языки Е и Т определены над алфавитом {а, *, &, } с помощью денотационной семантики равенствами Е = Т U * Т U Е & Т и Т= а U а* U . Какие из следующих строк *а&*а*&а*; *а&; *&* принадлежат языку Е и какие не принадлежат. 3) Написать программу, используя аксиоматическую стратегию построения и проверки цикла. Дан массив B[0:n-1], n > 0. Присвоить переменной х наименьшее значение из B. Если наименьшее значение встречается в B более одного раза, выбрать любой из них. Предусловие Q: n >0; Постусловие R: x |
|
| Отрывок: |
1) Функции: F(n), G(n) определены с помощью операционной семантики равенствами: F(0)=1, G(0)=2, F(n)=G(n-1), G(n)=F(n-l) + G(n-1). Найти значения F(3) и G(3). Решение: Для вычисления значений F(3) и G(3) осуществим следующие шаги. 1 шаг: F(3) = G(3-1) = G(2) G(3) = F(3-1) + G(3-1) = F(2) + G(2) 2 шаг: G(2) = F(2-1) + G(2-1) = F(1) + G(1) F(2) = G(2-1) = G(1) ... 2) Формальные языки Е и Т определены над алфавитом {а, *, &, } с помощью денотационной семантики равенствами Е = Т U * Т U Е & Т и Т= а U а* U . Какие из следующих строк *а&*а*&а*; *а&; *&* принадлежат языку Е и какие не принадлежат. Решение: Для строки *а&*а*&а* вывод может быть таким: E -> E&T -> E&T&T -> *T&T&T -> *a&T&T *а* не выводится из T, и нельзя осуществить возврат к E, так как тогда появляются угловые скобки. Другие способы вывода также не получатся в силу указанной причины. Данная цепочка невыводима и не принадлежит языку.... ... | |
|
Скачать эти материалы |
||
Не нашли подходящих материалов? Обратитесь к нам – наши тьюторы Вам помогут. Отправьте заявку прямо сейчас.
Вернуться к рубрикатору дисциплин »
Не смогли найти нужный материал? Вы можете отправить заявку или обратиться к услугам тьюторов
Вы также можете: Вернуться к рубрикатору дисциплин »