Программа для решения системы регулярных уравнений
Предмет
Программирование
Тип работы
контрольная работа
Объем работы
22
Дата поступления
12.12.2012
700 ₽
Содержание
1. Лабораторное задание 3
<br>2. Краткая теория 4
<br>3. Результаты работы программы 9
<br>4. Выводы 10
<br>Список литературы 11
<br>Приложение. Листинг программы 13
Введение
Алгоритм решения.
<br>Вход. Стандартная система Q уравнений с регулярными коэффициентами в алфавите Σ и множеством неизвестных Δ = = {X1, X2, …, Xn}.
<br>Выход. Решение системы Q.
<br>Метод: Аналог метода решения системы линейных уравнений методом исключения Гаусса.
<br>Шаг 1. Положить i = 1.
<br>Шаг 2. Если i = n, перейти к шагу 4. В противном случае с помощью тождеств леммы записать уравнения для Xi в виде
<br>Xi = αXi + β,
<br>где α — регулярное выражение в алфавите Σ, а β — регулярное выражение вида
<br>β0 + βi+1Xi+1 + … + βnXn,
<br>причем все βi — регулярные выражения в алфавите Σ. Затем в правых частях для уравнений Xi+1, …, Xn заменим Xi регулярным выражением α*β.
<br>Шаг 3. Увеличить i на 1 и вернуться к шагу 2.
<br>Шаг 4. Записать уравнение для Xn в виде Xn = αXn + β, где α и β — регулярные выражения в алфавите Σ. Перейти к шагу 5 (при этом i = n).
<br>Шаг 5. Уравнение для Xi имеет вид Xi = αXi + β, где α и β — регулярные выражения в алфавите Σ. Записать на выходе Xi = = α*β, в уравнениях для Xi–1, …, X1 подставляя α*β вместо Xi.
<br>Шаг 6. Если i = 1, остановиться, в противном случае уменьшить i на 1 и вернуться к шагу 5.
Литература
1. Калайда В.Т. Теория вычислительных процессов и структур: Учеб. пособие. — Томск: ТМЦДО, 2007. — 269 с.
<br>2. Гордеев А.В., Молчанов А.Ю. Системное программное обеспечение. Санкт-Петербург: Питер , 2001, 736с.