Министерство информационных технологий и связи
Российской Федерации
Сибирский государственный университет
телекоммуникаций и информатики
Пояснительная записка
по дисциплине
Теория вычислительных процессов
на тему
Теоретическое исследование моделей программы, находящей пару наиболее далеко удаленных слов заданной длины.
Выполнил студент _ _ _
группы____________________П-01___________________________________
Допущен к защите_________________________________________________
Работу принял_____________, профессор, д. т. н.________
(подпись, ф. и. о., звание, степень)
Защищена_______________Оценка_________________
(дата)
Содержание
Содержание. 2
1. Задание. 3
2. Постановка задачи исследования. 3
3. Программная реализация. 3
4. Анализ алгоритма. 4
5. Протокол выполнения и результат работы программы.. 6
6. Доказательство правильности программы.. 7
7. Выводы.. 9
1. Задание
1. Написать программу решения задачи, номер которой совпадает с Вашим номером в журнале.
2. Составить и исследовать ССП в линейной и графовой форме.
3. Указать интерпретацию ССП и составить протокол выполнения программы.
4. Построить и исследовать инварианты и ограничения цикла(ов).
5. Доказать частичную и полную правильность программы.
6. Представить схему программы в виде сети Петри и осуществить анализ ее свойств на основе дерева достижимости.
2. Постановка задачи исследования
Расстояние между двумя словами равной длины—это количество позиций, в которых различаются эти слова. В заданном предложении найти пару наиболее далеко удаленных слов заданной длины.
3. Программная реализация
Программа написана на языке C++ в среде разработки Microsoft Visual Studio 2010.
for(i=0;i<n;i=i+1)
{
for(j=0;j<n;j=j+1)
{
x=0;
for(k=0;k<lw;k=k+1)
{
if(rez->treeView1->Nodes[i]->Text[k]!=rez->treeView1->Nodes[j]->Text[k])
{
x++;
}
};
if(x==max)
{
rez->treeView1->Nodes[i]->Nodes->Add(rez->treeView1->Nodes[j]->Text);
}
};
if(rez->treeView1->Nodes[i]->Nodes->Count==0)
{
rez->treeView1->Nodes[i]->Remove();
i--;
n--;
}
};
rez->Show();
Главное окно:
