Решаем задачи Абрамян на Паскале. Recur24

Recur24. Вывести значение логического выражения, заданного в виде строки $$S$$. Выражение определяется следующим образом («T» — True, «F» — False):
<выражение>::= $$T$$ | $$F$$ | And(<параметры>) | Or(<параметры>) | Not(<выражение>)
<параметры>::= <выражение>| <выражение>, <параметры>

Решение:

program Recur24;
var
 S:String;

function f_Or(S:String):boolean;forward;
function f_And(S:String):boolean;forward;
function f_Not(S:String):boolean;forward;

function LenExpression(S:String):integer;
var len:integer;
begin
 if length(S)<=0 then Result:=0
 else
  case s[length(S)] of
   ')':
    begin
     delete(S,length(S),1);
     len:=LenExpression(S);
     delete(S,length(S)-len+1,len);
     Result:=len+LenExpression(S)+1;
    end;
   'A','O','N': Result:=1
   else
    begin
     delete(S,length(S),1);
     Result:=1+LenExpression(S);
    end;
  end;
end;


function f_Not(S:String):boolean;
var
 len:integer;
 El:boolean;
begin
 case s[length(S)] of
  ')':
   begin
    delete(S,length(S),1);
    len:=LenExpression(S);
    case s[length(S)-len+1] of
     'A': El:=f_And(S);
     'O': El:=f_Or(S);
     'N': El:=f_Not(S);
    end;
    delete(S,length(S)-len+1,len);
   end;
  'F':
   begin
    El:=False;
    delete(S,length(S),1);
   end;
  'T':
   begin
    El:=True;
    delete(S,length(S),1);
   end;
 end;

 Result:=not(El);

end;



function f_And(S:String):boolean;
var
 len:integer;
 El:boolean;
begin
 case s[length(S)] of
  ')':
   begin
    delete(S,length(S),1);
    len:=LenExpression(S);
    case s[length(S)-len+1] of
     'A': El:=f_And(S);
     'O': El:=f_Or(S);
     'N': El:=f_Not(S);
    end;
    delete(S,length(S)-len+1,len);
   end;
  'F':
   begin
    El:=False;
    delete(S,length(S),1);
   end;
  'T':
   begin
    El:=True;
    delete(S,length(S),1);
   end;
 end;

 case s[length(S)] of
  ',':
   begin
    delete(S,length(S),1);
    Result:=El and f_And(S);
   end;
  '(': Result:=El;
 end;
end;

function f_Or(S:String):boolean;
var
 len:integer;
 El:boolean;
begin
 case s[length(S)] of
  ')':
   begin
    delete(S,length(S),1);
    len:=LenExpression(S);
    case s[length(S)-len+1] of
     'A': El:=f_And(S);
     'O': El:=f_Or(S);
     'N': El:=f_not(S);
    end;
    delete(S,length(S)-len+1,len);
   end;
  'F':
   begin
    El:=False;
    delete(S,length(S),1);
   end;
  'T':
   begin
    El:=True;
    delete(S,length(S),1);
   end;
 end;

 case s[length(S)] of
  ',':
   begin
    delete(S,length(S),1);
    Result:=El or f_Or(S);
   end;
  '(': Result:=El;
 end;
end;

Function VerificationExpression(S:String):boolean;
var len:integer;
begin
case s[length(S)] of
 ')':
  begin
   delete(S,length(S),1);
   len:=LenExpression(S);
   case s[length(S)-len+1] of
    'A': Result:=f_And(S);
    'O': Result:=f_Or(S);
    'N': Result:=f_Not(S);
   end;
  end;
 'F': Result:=False;
 'T': Result:=True;
end;

end;

begin
 Write('S: ');
 Readln(S);
 Writeln('Exp: ',VerificationExpression(S));
 readln;
end.

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

132

133

134

135

136

137

138

139

140

141

142

143

144

145

146

147

148

149

150

151

152

153

154

155

156

157

158

159

160

161

162

163

164

165

166

167

168

169

170

program Recur24;

var

S:String;

function f_Or(S:String):boolean;forward;

function f_And(S:String):boolean;forward;

function f_Not(S:String):boolean;forward;

function LenExpression(S:String):integer;

var len:integer;

begin

if length(S)<=0 then Result:=0

else

case s[length(S)] of

')':

begin

delete(S,length(S),1);

len:=LenExpression(S);

delete(S,length(S)-len+1,len);

Result:=len+LenExpression(S)+1;

end;

'A','O','N': Result:=1

else

begin

delete(S,length(S),1);

Result:=1+LenExpression(S);

end;

function f_Not(S:String):boolean;

var

len:integer;

El:boolean;

begin

case s[length(S)] of

')':

begin

delete(S,length(S),1);

len:=LenExpression(S);

case s[length(S)-len+1] of

'A': El:=f_And(S);

'O': El:=f_Or(S);

'N': El:=f_Not(S);

end;

delete(S,length(S)-len+1,len);

end;

'F':

begin

El:=False;

delete(S,length(S),1);

end;

'T':

begin

El:=True;

delete(S,length(S),1);

end;

Result:=not(El);

end;

function f_And(S:String):boolean;

var

len:integer;

El:boolean;

begin

case s[length(S)] of

')':

begin

delete(S,length(S),1);

len:=LenExpression(S);

case s[length(S)-len+1] of

'A': El:=f_And(S);

'O': El:=f_Or(S);

'N': El:=f_Not(S);

end;

delete(S,length(S)-len+1,len);

end;

'F':

begin

El:=False;

delete(S,length(S),1);

end;

'T':

begin

El:=True;

delete(S,length(S),1);

end;

case s[length(S)] of

',':

begin

delete(S,length(S),1);

Result:=El and f_And(S);

end;

'(': Result:=El;

end;

function f_Or(S:String):boolean;

var

len:integer;

El:boolean;

begin

case s[length(S)] of

')':

begin

delete(S,length(S),1);

len:=LenExpression(S);

case s[length(S)-len+1] of

'A': El:=f_And(S);

'O': El:=f_Or(S);

'N': El:=f_not(S);

end;

delete(S,length(S)-len+1,len);

end;

'F':

begin

El:=False;

delete(S,length(S),1);

end;

'T':

begin

El:=True;

delete(S,length(S),1);

end;

case s[length(S)] of

',':

begin

delete(S,length(S),1);

Result:=El or f_Or(S);

end;

'(': Result:=El;

end;

Function VerificationExpression(S:String):boolean;

var len:integer;

begin

case s[length(S)] of

')':

begin

delete(S,length(S),1);

len:=LenExpression(S);

case s[length(S)-len+1] of

'A': Result:=f_And(S);

'O': Result:=f_Or(S);

'N': Result:=f_Not(S);

end;

'F': Result:=False;

'T': Result:=True;

end;

begin

Write('S: ');

Readln(S);

Writeln('Exp: ',VerificationExpression(S));

readln;

end.

Другие задачи из раздела Recur можно посмотреть здесь.

Решаем задачи Абрамян на Паскале. Recur24

Комментарии:

Добавить комментарий Отменить ответ