Алгоритм решения.
Вход. Стандартная система 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. Лабораторное задание 3
2. Краткая теория 4
3. Результаты работы программы 9
4. Выводы 10
Список литературы 11
Приложение. Листинг программы 13
1. Калайда В.Т. Теория вычислительных процессов и структур: Учеб. пособие. Томск: ТМЦДО, 2007. 269 с.
2. Гордеев А.В., Молчанов А.Ю. Системное программное обеспечение. Санкт-Петербург: Питер , 2001, 736с.