Поставлена задача: Используя стек решить следующую задачу (в виде процедуры или функции):в текстовом файле LOG записано без ошибок логическое выражение ЛВ в следующей форме:
<ЛВ>::=true|false|(не ЛВ)|(ЛВ конъюнкция ЛВ)|(ЛВ дизъюнкция ЛВ)
Вычислить значение выражения как Boolean.


Можете привести пример текстового файла, которые может быть дан? И как работать с ним. Файл должен быть сгенирирован заранее компилятором паскаля? Или можно, например, в OC windows создать текстовый файл, заполнить его правильно и начать с ним работать?..

Цитата(Rencom @ 3.1.2006, 14:56)

И как работать с ним. Файл должен быть сгенирирован заранее компилятором паскаля? Или можно, например, в OC windows создать текстовый файл, заполнить его правильно и начать с ним работать?

Судя по тому, что в задании, сказано что, в текстовом файле должно быть ЛВ, но не сказано, что он обязательно должен создан программным путём, то мне кажется, его можно создать за ранее средствами ОС виндоус.

Цитата(Rencom @ 3.1.2006, 14:56)

Можете привести пример текстового файла, которые может быть дан?

Но в общем случае, косая черта "|" означает "или", и т.к. между ними находится 5 видов выражений, то соотеветственно может быть 5 видов текстовых файлов:

• 1
  
• 0
  
• ^1 (^0)
  
• 1+0 (0+1)
  
• 1*0 (0*1)
  

Цитата(Rencom @ 3.1.2006, 14:56)

И как работать с ним.

Ну как мне кажется, тут надо содержимое файлов, каждое отдельное словосочетание выделить (т.е. на языке компилятора - это называется "лексемой") и далее рассматривать каждую отделную лексему, используя таблицу истиности.
Примеров таких таблиц в интер-те целаю куча:
http://www.bestreferat.ru/referat-13372.html
http://referat-programming.info/load.php?P...1d814&id=010033
Добавлено @ 15:06
при этом не обязательно исп. "0" или "1", ЛВ, может быть получено путём вычислений. и переборов выражений может быть куча.

Таблицу истинности, к счастью, знаю

Ведь может же быть так:
^true(^false)

Как программе понять, что есть true, а что false? Нужно Считывать по символьно строку и сравнивать при помощи case?

Вот что я имел в виду:
(* InLine: string; *)
case InLine of
'true': symbol:=1;
'false':symbol:=0
end;

Rencom,

String и Case несовместимы... Придется или делать If, или вот так:

Код

Function UpStr(s: String): String; Var i: Byte; Begin   For i := 1 To Length(s) Do s[i] := UpCase(s[i]);   UpStr := s; End; Var _InLine: String; ... symbol := Byte(UpStr(_InLine) = 'TRUE'); { Все, что НЕ 'true' считать за 'false' }

Цитата(Rencom @ 3.1.2006, 20:38)

Ведь может же быть так: ^true(^false)

А на языке формальных грамматик, это будет так:
^true*(^false),
где оператор "*" (или любой другой) будет разделять лексемы.
И тогда это будет легко подсчитать...
Главное правильно написать выражение в текстовом файле, с точки зрения синтаксиса.