Программа для решения системы регулярных уравнений

Содержание

1. Лабораторное задание3

2. Краткая теория4

3. Результаты работы программы9

4. Выводы10

Список литературы11

Приложение. Листинг программы13

Выдержка из текста

Алгоритм решения.

Вход. Стандартная система Q уравнений с регулярными коэффициентами в алфавите Σ и множеством неизвестных Δ = = {X1, X2, , Xn}.

Выход. Решение системы Q.

Метод: Аналог метода решения системы линейных уравнений методом исключения Гаусса.

Шаг 1. Положить i = 1.

Шаг 2. Если i = n, перейти к шагу 4. В противном случае с помощью тождеств леммы записать уравнения для Xi в виде

Xi = αXi + β,

где α регулярное выражение в алфавите Σ, а β регулярное выражение вида

β0 + βi+1Xi+1 + + βnXn,

причем все βi регулярные выражения в алфавите Σ. Затем в правых частях для уравнений Xi+1, , Xn заменим Xi регулярным выражением α*β.

Шаг 3. Увеличить i на 1 и вернуться к шагу 2.

Шаг 4. Записать уравнение для Xn в виде Xn = αXn + β, где α и β регулярные выражения в алфавите Σ. Перейти к шагу 5 (при этом i = n).

Шаг 5. Уравнение для Xi имеет вид Xi = αXi + β, где α и β регулярные выражения в алфавите Σ. Записать на выходе Xi = = α*β, в уравнениях для Xi1, , X1 подставляя α*β вместо Xi.

Шаг 6. Если i = 1, остановиться, в противном случае уменьшить i на 1 и вернуться к шагу 5.

Список использованной литературы

1.Калайда В.Т. Теория вычислительных процессов и структур: Учеб. пособие. Томск: ТМЦДО, 2007. 269 с.

2. Гордеев А.В., Молчанов А.Ю. Системное программное обеспечение. Санкт-Петербург: Питер , 2001, 736с.

Похожие записи