Міністерство освіти і науки України Національний Університет „Львівська політехніка” Інститут прикладної математики і фундаментальних наук Кафедра прикладної математики Лабораторна робота №4 Тема: Формальна логіка Львів 2007 Варіант 7 Завдання: Побудувати граматику, яка породжує основні консанти дійсного типу мови Pascal з фіксованою точкою. Dim str1, str2, str3, str4 As String Dim str() As String Dim a, i As Byte Option Explicit Private Sub Command1_Click() ‘Ввід даних ‘Термінальних символів If Text1.Text <> "" Then str1 = str1 + " " + CStr(Text1.Text) + ", " Text1.Text = "" Text1.SetFocus End If ‘Нетермінальних символів If Text2.Text <> "" Then str2 = str2 + " " + CStr(Text2.Text) Text2.Text = "" Text2.SetFocus End If ‘Аксіоми If Text3.Text <> "" Then str3 = str3 + " " + CStr(Text3.Text) Text3.Text = "" Text3.SetFocus End If ‘Правил If Text4.Text <> "" Then i = i + 1 ReDim Preserve str(i) str(i) = CStr(Text4.Text) Text4.Text = "" Text4.SetFocus End If End Sub Private Sub Command2_Click() If Text1.Text <> "" Then str1 = str1 + " " + CStr(Text1.Text) Text1.Text = "" Text2.SetFocus End If If Text2.Text <> "" Then str2 = str2 + " " + CStr(Text2.Text) Text2.Text = "" Text3.SetFocus End If If Text3.Text <> "" Then str3 = str3 + " " + CStr(Text3.Text) Text3.Text = "" Text4.SetFocus End If If Text4.Text <> "" Then i = i + 1 ReDim Preserve str(i) str(i) = CStr(Text4.Text) Text4.Text = "" Call pobudova End If End Sub Sub pobudova() ‘Побудова граматики і мови 'For a = 1 To i - 1 'str4 = str4 + str3 + "--->" + str(a) + ";" + Chr(13) + Chr(10) 'Next a 'str4 = str4 + str3 + "--->" + str(i) 'Text5.Text = "U(òåðì³íàë.)= " + str1 + Chr(13) + Chr(10) + _ '"U(íåòåðì³í.) = " + str2 + Chr(13) + Chr(10) + _ '"i = " + str3 + Chr(13) + Chr(10) + _ '"Ï = " + str4 For a = 1 To i - 1 str4 = str4 + str3 + "--->" + str(a) + ";" Next a str4 = str4 + str3 + "--->" + str(i) Text5.Text = "<" + str1 + "; " + str2 + "; " + str3 + "; " + str4 + ">" For a = 1 To i Text6.Text = Text6 + str(a) + Chr(13) + Chr(10) Next a End Sub Private Sub Form_Load() i = 0 End Sub Приклад