1. Иванова, Г.С. Технология программирования [Текст]: Учебник для вузов / Иванова Г.С. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2002. - 320 с.: ил. - (Информатика в техническом университете). - ISBN 5-7038-2077-4.

2. Полный справочник по С. Четвертое издание [Текст]: Пер. с англ./ Шилдт, Герберт. - М.: Издательский дом «Вильямс», 2002. - 704 с.: ил. - Парал. Тит. Англ. - ISBN 5-8459-0226-6 (рус.).

3. Теория и реализация языков программирования [Электронный ресурс] / Интернет-Университет Информационных технологий. - Электрон. текст. дан. - Режим доступа: http//www.INTUIT.ru, свободный.

Приложения

Приложение А

Приложение Б

программный интерфейс синтаксический конфигурация

Алгоритм работы подпрограммы «Проверка функции на скобки»

Приложение В

Алгоритм работы подпрограммы «Проверка на конъюнкцию»

Приложение Г

Алгоритм работы подпрограммы «Проверка на дизъюнкцию»

Приложение Д

Алгоритм работы подпрограммы «Проверка элементов СКНФ»

Приложение Е

Алгоритм работы подпрограммы «Проверка скобок»

Приложение Ж

Алгоритм работы подпрограммы «Проверка объявления типа int»

Приложение И

Текст простой программы на языке С

/*

Простая программа на языке C# с использованием переменных типа Int, операторов IF..Goto, While, switch.

*/

using System ;

using System.Collections.Generic ;

using System.Linq ;

using System.Text ;

namespace KP_Lika

{

class Program

{

static void Main (string[] args)

{

int y = 5 ;

int a, b, c, t = 0, j ;

a = 7 ;

b = 2 ;

sting l = "" ;

// proverka otveta

if (y==a-b)

{

j = 0 ;

}

else

{

j = 1 ;

goto n ;

}

do

{

t++ ;

}

while (t);

n :

switch (j)

{

case 0:

l="verno";

break;

default:

l="neverno";

break;

}

}

}

}

Приложение К

Код основной программ

/*

Программа осуществляет проверку является ли введенная пользователем функция СКНФ, а так же проверка правильности написания синтаксиса программы. В случае неправильности написания либо функции, либо программы выдается соответствующее сообщение пользователю.

Язык программирования:

C#

Программа написана с использованием подпрограмм:

- «проверка функции на скобки»;

- «проверка на конъюнкцию»;

- «проверка на дизъюнкцию»;

- «проверка элементов СКНФ»;

- «проверка скобок»;

- «проверка объявления типа int»

*/

using System;

using System.Collections.Generic;

using System.Linq;

using System.Text;

using System.IO;

using System.Text.RegularExpressions;

// Проверить синтаксический анализ программы с использованием операторов:

// IF..Goto, While, switch тип данных Int.

// Проверить, является ли заданная логическая формула совершенной КНФ(СКНФ).

namespace KP_Lika

{

class Program

{

static string SKNF, Otvet_Skobok, Text, Kol_Skobok11, Kol_Skobok12,

Otvet_Koniunkciya, Otvet_Dizunkciya, Otvet_Elementov, put, str, put2, Otvet_Skobok2,

Otvet_int, Otvet_int2, Otvet_if, int_element = "";

static string[] World, World2, INT;

static int Kol_Skobok, Kol_Skobok1, Kol_1, Kol_2, adres, n_stroki = 0, nach_stroki = 0, konec_stroki = 0, result = 0;

static string massA = "0 1 2 3 4 5 6 7 8 9";

static string massB = "> < >= <= != ==";

static void Main(string[] args)

{

// главное меню

menyu:

Console.ForegroundColor = ConsoleColor.Green;

Console.WriteLine("Выбор функции программы (1, 2 или 3): ");

Console.WriteLine("1. Проверка функции на СКНФ; ");

Console.WriteLine("2. Проверка синтаксиса текста программы. ");

Console.WriteLine("3. Закончить работу с приложением;");

Console.WriteLine();

Console.ForegroundColor = ConsoleColor.White;

string punkt_menu = Console.ReadLine();

if (punkt_menu == "1")

{

menyu1:

Console.ForegroundColor = ConsoleColor.White;

Console.WriteLine("Введите функцию для проверки, является ли она СКНФ:");

Console.WriteLine("Пример: (A|B|!C)&(!A|!B|C):");

Console.WriteLine("где !-отрицание(НЕ), & - коньюнкция, | - дизъюнкция");

Console.WriteLine();

SKNF = Console.ReadLine();

// убираем пробелы

Text = SKNF.Replace(" ", string.Empty);

// подпрограмма «проверка функции на скобки»

Otvet_Skobok = Proverka_Skobok(Text);

Console.ForegroundColor = ConsoleColor.Red;

if (Otvet_Skobok != "")

{

Console.WriteLine(Otvet_Skobok);

goto pod_menyu;

}

// подпрограмма «проверка на конъюнкцию»

Otvet_Koniunkciya = Proverka_Koniunkciya(Text);

Console.ForegroundColor = ConsoleColor.Red;

if (Otvet_Koniunkciya != "")

{

Console.WriteLine(Otvet_Koniunkciya);

goto pod_menyu;

}

// подпрограмма «проверка на дизъюнкцию»

Otvet_Dizunkciya = Proverka_Dizunkciya(Text);

Console.ForegroundColor = ConsoleColor.Red;

if (Otvet_Dizunkciya != "")

{

Console.WriteLine(Otvet_Dizunkciya);

goto pod_menyu;

}

// подпрограмма «проверка элементов СКНФ»

Otvet_Elementov = Proverka_Elementov(Text);

Console.ForegroundColor = ConsoleColor.Red;

if (Otvet_Elementov != "")

{

Console.WriteLine(Otvet_Elementov);

goto pod_menyu;

}

else { Console.WriteLine("Данная функция СКНФ!!!"); };

// подменю....

pod_menyu: ;

Console.ForegroundColor = ConsoleColor.Yellow;

Console.WriteLine();

Console.WriteLine("Выбор функции программы (1,2 или 3): ");

Console.WriteLine("1. Ввести функцию заново;");

Console.WriteLine("2. Перейти в главное меню;");

Console.WriteLine("3. Закончить работу с приложением;");

Console.WriteLine();

Console.ForegroundColor = ConsoleColor.White;

string punkt_menu1 = Console.ReadLine();

if (punkt_menu1 == "1") { goto menyu1; }

else if (punkt_menu1 == "2") { goto menyu; }

else if (punkt_menu1 == "3") { goto vihod; }

else { Console.WriteLine("Вы указали неверный пункт меню!"); goto pod_menyu; }

}

else if (punkt_menu == "2") // работаем над программой

{

pod_menyu2:

;

Kol_1 = 0;

Kol_2 = 0;

Console.WriteLine("Введите путь к файлу .TXT с листингом программы:");

Console.WriteLine("например: d:\\programma.txt");

put = Console.ReadLine();

int indx = put.Length;

put2 = put.Insert(indx - 4, "2");

adres = 0;

// удаление комментарий - работает

StreamReader fs31 = new StreamReader(put);// файл с программой

while (!fs31.EndOfStream)// чтение файла по строкам

{

int dlina = 0;

str = fs31.ReadLine();

World = str.Split(' ');

// удаление многострочного комментария

for (int j = 0; j < World.Length; j++)

{

if (World[j] != "")

{

if (World[j] == "/*")

{

nach_stroki = n_stroki;

}

else if (World[j] == "*/")

{

konec_stroki = n_stroki;

}

}

}

n_stroki++;

}

fs31.Close();

n_stroki = 0;

// Console.WriteLine(nach_stroki+" "+konec_stroki);

StreamReader fs3 = new StreamReader(put);// файл с программой

StreamWriter fs2 = new StreamWriter(put2); // файл с копией программы

while (!fs3.EndOfStream)// чтение файла по строкам

{

str = fs3.ReadLine();

World = str.Split(' ');

World2 = World;

// удаление коментария // - работает

if ((n_stroki < nach_stroki) || (n_stroki > konec_stroki) || (konec_stroki == 0) || (nach_stroki == 0))

{

for (int j = 0; j < World.Length; j++)

{

if (World[j] != "")

{

if (World[j] == "//")

{

int ind = str.IndexOf("//");

str = str.Remove(ind);

goto stroka;

}

}

}

}

else if (n_stroki == nach_stroki)

{

int ind = str.IndexOf("/*");

str = str.Remove(ind);

goto stroka;

}

else if (n_stroki == konec_stroki)

{

int ind = str.IndexOf("*/");

str = str.Remove(0, ind + 2);

goto stroka;

}

else if ((n_stroki >= nach_stroki) || (n_stroki <= konec_stroki))

{

str = "";

goto stroka;

}

stroka: ;

adres++;

if (adres < 10) { fs2.WriteLine("0" + adres + " " + str); }

else fs2.WriteLine(adres + " " + str);

n_stroki++;

}

fs3.Close();

fs2.Close();

str = "";

StreamReader fs = new StreamReader(put2);// файл с программой

while (!fs.EndOfStream)// чтение файла по строкам

{

str = fs.ReadLine();

// подпрограмма «проверка скобок»

Otvet_Skobok2 = Proverka_Skobok2(str);

Console.ForegroundColor = ConsoleColor.Red;

if (Otvet_Skobok2 != "")

{

Console.WriteLine(Otvet_Skobok2);

goto pod_menyu3;

}

// подпрограмма «проверка объявления типа int»

Otvet_int = Proverka_int(str);

Console.ForegroundColor = ConsoleColor.Red;

if (Otvet_int != "")

{

Console.WriteLine(Otvet_int);

goto pod_menyu3;

}

}

fs.Close();

str = "";

string Otvet_funkcii="";

// проверка операторов

fs = new StreamReader(put2);// файл с программой

while (!fs.EndOfStream)// чтение файла по строкам

{

Regex reg = new Regex(@"^if \((.*)\)$");

str = fs.ReadLine();

string text = str;

text = text.Remove(0, 3).Replace(" ", string.Empty);

if (text.StartsWith("if"))

{

if (!reg.IsMatch(text))

{

Otvet_funkcii = "Ошибка: оператора if! " +str;

goto mm;

}

}

else if (text.StartsWith("while"))

{

reg = new Regex(@"^while\((.*)\);$");

if (!reg.IsMatch(text))

{

Otvet_funkcii="Ошибка: оператора do_while! "+str;

goto mm;

}

}

else if (text.StartsWith("do"))

{

reg = new Regex(@"^do$");

if (!reg.IsMatch(text))

{

Otvet_funkcii="Ошибка: оператора do_while! "+str;

goto mm;

}

}

else if (text.StartsWith("goto"))

{

reg = new Regex(@"^goto[a-z];$");

if (!reg.IsMatch(text))

{

Otvet_funkcii="Ошибка: оператора goto! "+str;

goto mm;

}

}

else if (text.StartsWith("switch"))

{

reg = new Regex(@"^switch\((.*)\)$");

if (!reg.IsMatch(text))

{

Otvet_funkcii="Ошибка: оператора switch1! "+str;

goto mm;

}

}

else if (text.StartsWith("case"))

{

reg = new Regex(@"^case(.*):$");

if (!reg.IsMatch(text))

{

Otvet_funkcii="Ошибка: оператора switch2! "+str;

goto mm;

}

}

else if (text.StartsWith("break"))

{

reg = new Regex(@"^break;$");

if (!reg.IsMatch(text))

{

Otvet_funkcii="Ошибка: оператора switch3! "+str;

goto mm;

}

}

else if (text.StartsWith("default"))

{

reg = new Regex(@"^default:$");

if (!reg.IsMatch(text))

{

Console.WriteLine("Ошибка: оператора switch4! "+str);

goto mm;

}

}

else {Otvet_funkcii+="";}

}

fs.Close();

mm:

if (Otvet_funkcii!="")

{

Console.WriteLine(Otvet_funkcii);

}

else

{

Console.WriteLine ("Ошибок в программе нет!");

}

// подменю....

pod_menyu3: ;

Console.ForegroundColor = ConsoleColor.Yellow;

Console.WriteLine();

Console.WriteLine("Выбор функции программы (1,2 или 3): ");

Console.WriteLine("1. Проверить программу заново;");

Console.WriteLine("2. Перейти в главное меню;");

Console.WriteLine("3. Закончить работу с приложением;");

Console.WriteLine();

Console.ForegroundColor = ConsoleColor.White;

string punkt_menu1 = Console.ReadLine();

if (punkt_menu1 == "1") { goto pod_menyu2; }

else if (punkt_menu1 == "2") { goto menyu; }

else if (punkt_menu1 == "3") { goto vihod; }

else { Console.WriteLine("Вы не верно указали пункт меню!!!"); goto menyu; }

}

else if (punkt_menu == "3")

{

goto vihod;

}

else { Console.WriteLine("Вы не верно указали пункт меню!!!"); goto menyu; }

vihod: ;

}

}

}

Приложение Л

Код подпрограммы «Проверка объявления типа Int»

/*

Подпрограмма осуществляет проверку правильности объявления типа int. Проверка осуществляется посимвольно.

Язык программирования:

C#

Входные данные:

str - строка считываемая из файла

Выходные данные:

Otvet int - программа выдает сообщение об ошибке или если Otvet_int= «», то означает что ошибок не найдено.

*/

// проверка численного типа int - работает

static string Proverka_int(string str)

{

Otvet_int = "";

string text = str;

World = str.Split(' ');

for (int j = 0; j < World.Length; j++)

{

if (World[j] != "")

{

if (World[j] == "int")

{

INT = str.Split(' ', ',', '=', ';', '0', '1', '2', '3', '4', '5', '6', '7', '8', '9');

int_element = int_element + string.Join(" ", INT).Remove(0, 6) + " "; // все переменные числового типа

str = str.Remove(0, 6);// удаляем INT

str = str.Replace(" ", string.Empty);// удаляем пробелы

// ищем позицию элемента

m:

int ind_1 = int_element.IndexOf(str[0]);

if (ind_1 != -1)

{

str = str.Remove(0, 1);// удаляем переменную типа INT

if (str[0] == '=')

{

str = str.Remove(0, 1);// удаляем =

m1:

int ind_2 = massA.IndexOf(str[0]);

if (ind_2 != -1)

{

str = str.Remove(0, 1);

if (str[0] == ',') { str = str.Remove(0, 1); goto m; }

if (str[0] == ';') { goto m3; }

else if (massA.IndexOf(str[0]) != -1) { goto m1; }

else if (massA.IndexOf(str[0]) == -1) { Otvet_int = "Неверный численный тип2: " + text; return Otvet_int; }

else { Otvet_int = "Неверный численный тип1: " + text; return Otvet_int; }

}

else if (ind_2 == -1)

{

Otvet_int = "Неверный численный тип3: " + text;

return Otvet_int;

}

}

else if (str[0] == ';')

{

Otvet_int += " ";

}

else if (str[0] == ',')

{

str = str.Remove(0, 1);

goto m;

}

}

else

{

Console.WriteLine(str);

Otvet_int = "Неверный численный тип4: " + text;

return Otvet_int;

}

}

else { Otvet_int += ""; return Otvet_int; }

}

}

m3:

return Otvet_int;

}

Приложение М

Код подпрограммы «Проверка скобок»

/*

Подпрограмма осуществляет проверку правильности написания скобок. Проверка осуществляется посимвольно.

Язык программирования:

C#

Входные данные:

str - строка считываемая из файла

Выходные данные:

Otvet_skobok2 - программа выдает сообщение об ошибке или если Otvet_skobok2= «», то означает что ошибок не найдено.

*/

// проверка скобок программы - работает

static string Proverka_Skobok2(string str)

{

Otvet_Skobok2 = "";

World = str.Split(' ');

for (int j = 0; j < World.Length; j++)

{

if (World[j] != "")

{

if (World[j] == "(")

{

Kol_2 = Kol_2 + 1;

}

else if (World[j] == ")")

{

Kol_2 = Kol_2 - 1;

}

else if (Kol_2 < 0)

{

Console.ForegroundColor = ConsoleColor.Red;

Otvet_Skobok2 = "Ошибка: неверное количество скобок! Закрытых больше чем открытых в строке: " + World[0];

return Otvet_Skobok2;

}

}

}

if (Kol_2 > 0)

{

Console.ForegroundColor = ConsoleColor.Red;

Otvet_Skobok2 = "Ошибка: неверное количество скобок! Открытых больше чем закрытых!";

}

else if (Kol_2 == 0)

{

Console.ForegroundColor = ConsoleColor.Red;

Otvet_Skobok2 = "";

}

return Otvet_Skobok2;

}

Приложение Н

Код подпрограммы «Проверка элементов СКНФ»

/*

Подпрограмма осуществляет проверку правильности использования элементов функции СКНФ. Проверка осуществляется посимвольно.

Язык программирования:

C#

Входные данные:

str - строка считываемая из файла

Выходные данные:

Otvet_Elementov - программа выдает сообщение об ошибке или если Otvet_Elementov = «», то означает что ошибок не найдено.

*/

// проверка Элементов - РАБОТАЕТ

static string Proverka_Elementov(string Text)

{

Otvet_Elementov = "";

string[] element, element3, summa;

int k = 0;

string element2 = "", Text1 = "", text2 = "";

summa = Text.Split('&', '(', ')');// все элементы в скобках

// на равенство слогаемых - работает

for (int i = 0; i < summa.Length - 1; i++) // прогоняем каждую скобку

{

if (summa[i] != "")

{

for (int j = (i + 1); j < summa.Length; j++) // прогоняем каждую скобку

{

if (summa[i] == summa[j])

{

Otvet_Elementov = "Ответ: Данная функция не является СКНФ из-за одинаковых дизъюнкций.";

return Otvet_Elementov;

}

else if (summa[i] != summa[j])

{

Otvet_Elementov = "";

}

}

}

}

// на правильность элементов - работает

element = Text.Split(' ', '(', ')', '|', '!', '&'); // элементы все

element2 = string.Join(" ", element); // набор всех элементов

element3 = summa[1].Split('|', '!');

for (int i = 0; i < element3.Length; i++) // считаем количество элементов в скобке

{

if (element3[i] != "")

{

k++;

}

}

int t = 0;

for (int i = 0; i < element.Length; i++) // считаем количество элементов в скобке

{

if ((element[i] != "") & (t < k))

{

text2 = text2 + element[i];

t++;

}

}

element2 = element2.Replace(" ", string.Empty);

element2 = element2.Remove(k);

for (int i = k; i < element.Length; i++) // считаем количество элементов в скобке

{

if (element[i] != "")

{

int poz = element2.IndexOf(element[i]);

//Console.WriteLine(poz + " " + element[i]);

if (poz == -1)

{

Otvet_Elementov += "Данная функция не является СКНФ из-за неверных элементов!!!";

return Otvet_Elementov;

}

else

{

Otvet_Elementov += "";

}

}

}

return Otvet_Elementov;

}

Приложение П

Код подпрограммы «Проверка на дизъюнкцию»

/*

Подпрограмма осуществляет проверку правильности написания дизъюнкции («|») в функции СКНФ. Проверка осуществляется посимвольно.

Язык программирования:

C#

Входные данные:

str - строка считываемая из файла

Выходные данные:

Otvet_Dizunkciya - программа выдает сообщение об ошибке или если Otvet_Dizunkciya = «», то означает что ошибок не найдено.

*/

// проверка Дизъюнкции

static string Proverka_Dizunkciya(string Text)

{

Otvet_Dizunkciya = "";

string text2 = "", text3 = "";

int poziciya, kol_plusov = 0;

string[] summa, elem_diz, element;

summa = Text.Split('&', '(', ')');// все что в скобках

for (int i = 0; i < summa.Length; i++)

{

if (summa[i] != "")

{

poziciya = i;

text3 = summa[i];

elem_diz = text3.Split('|'); // - переменные

// проверка на количество +

for (int j = 0; j < text3.Length; j++)

{

if (text3[j] == '|') { kol_plusov++; }

}

// ели вообще нет + - работает

if (kol_plusov == 0)

{

Otvet_Dizunkciya = "Ответ: Данная функция не является СКНФ1.";

return Otvet_Dizunkciya;

}

// если начинается или заканчивается на + - работает

else if ((text3[text3.Length - 1] == '|') | (text3[0] == '|'))

{

Otvet_Dizunkciya = "Ответ: Данная функция не является СКНФ2.";

return Otvet_Dizunkciya;

}

// ели есть +

else

{

elem_diz = text3.Split('|');

// проверка одинаковых элементов - работает

for (int j1 = 0; j1 < elem_diz.Length; j1++)

{

for (int j2 = j1 + 1; j2 < elem_diz.Length; j2++)

{

if (elem_diz[j1] == elem_diz[j2])

{

Otvet_Dizunkciya = "Ответ: Данная функция не является СКНФ3.";

return Otvet_Dizunkciya;

}

else

{

Otvet_Dizunkciya = "";

}

}

}

}

}

}

return Otvet_Dizunkciya;

}

Приложение Р

Код подпрограммы «Проверка на конъюнкцию»

/*

Подпрограмма осуществляет проверку правильности написания конъюнкции («&») в функции СКНФ. Проверка осуществляется посимвольно.

Язык программирования:

C#

Входные данные:

str - строка считываемая из файла

Выходные данные:

Otvet_Koniunkciya - программа выдает сообщение об ошибке или если Otvet_Koniunkciya = «», то означает что ошибок не найдено.

*/

// проверка Коньюнкции - Работает

static string Proverka_Koniunkciya(string Text)

{

string Otvet_Koniunkciya = "";

string[] poziciya;

int kol_kon = 0;

// проверка на количество &

for (int i = 0; i < Text.Length; i++)

{

if (Text[i] == '&') { kol_kon++; }

}

// если начинается или заканчивается на & - работает

if ((Text[Text.Length - 1] == '&') | (Text[0] == '&'))

{

Otvet_Koniunkciya = "Ответ: Данная функция не является СКНФ.";

return Otvet_Koniunkciya;

}

// ели вообще нет & - работает

else if (kol_kon == 0)

{

Otvet_Koniunkciya = "Ответ: Данная функция не является СКНФ1.";

return Otvet_Koniunkciya;

}

// ели есть &

else

{

poziciya = Text.Split('&');

for (int i = 1; i < poziciya.Length; i++)

{

string simbol = poziciya[i - 1];

string simbol2 = poziciya[i];

if ((simbol[simbol.Length - 1] == ')') & (simbol2[0] == '('))

{

Otvet_Koniunkciya = "";

}

else if ((simbol[simbol.Length - 1] != ')') & (simbol2[0] != '('))

{

Otvet_Koniunkciya = "Ответ: Данная функция не яфляется СКНФ из-за конъюнкции.";

return Otvet_Koniunkciya;

}

}

return Otvet_Koniunkciya;

}

Приложение С

Код подпрограммы «Проверка функции на скобки»

/*

Подпрограмма осуществляет проверку правильности написания скобок в функции СКНФ. Проверка осуществляется посимвольно.

Язык программирования:

C#

Входные данные:

str - строка считываемая из файла

Выходные данные:

Otvet_Skobok - программа выдает сообщение об ошибке или если Otvet_Skobok = «», то означает что ошибок не найдено.

*/

// проверка Скобок - Работает

static string Proverka_Skobok(string Text)

{

// Проходим по всем символам строки

string Otvet_Skobok = "";

Kol_Skobok = 0;

Kol_Skobok1 = 0;

for (int i = 0; i < Text.Length; i++)

{

if (Text[i] == '(')

{

Kol_Skobok++;

}

else if (Text[i] == ')')

{

Kol_Skobok1++;

}

}

if (Kol_Skobok > Kol_Skobok1) { Otvet_Skobok = "Не закрыта скобка!!!"; }

else if (Kol_Skobok < Kol_Skobok1) { Otvet_Skobok = "Закрытых скобок больше чем открытых!!!"; }

else if (Kol_Skobok == Kol_Skobok1)

{

for (int i = 0; i < Text.Length - 1; i++)

{

if ((Text[i] == '(') & (Text[i + 1] == ')'))

{

Otvet_Skobok += "Постые значения в скобках";

}

else { Otvet_Skobok = ""; }

}

}

string m = Convert.ToString(Kol_Skobok);

string m1 = Convert.ToString(Kol_Skobok1);

if ((Kol_Skobok11 == Kol_Skobok12) & (Kol_Skobok11 == "0"))

{

Otvet_Skobok = "Ответ: Данная функция не является СКНФ.";

}

else if ((Kol_Skobok11 == Kol_Skobok12) & (Kol_Skobok11 == "1"))

{

Otvet_Skobok = ("Ответ: Данная функция не является СКНФ.");

}

return Otvet_Skobok;

}

Размещено на Allbest.ru