синтаксический анализатор на си

[Алексей9912]

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

я вообще не понимаю, что мне надо сделать. подкиньте идейку хотя бы, что это, как это, и с чем его едят, и пните в правильном направлении, пожалуйста. буду благодарен

[p51x]

Так все ж написано, что надо сделать. Если не знаете, что такое синтаксический анализатор, то хоть в вики сходите. Какое слово в задании вам не понятно?

[Алексей9912]

например, непонятно, что это за вертикальные линии.
и если операнды могут содержать выражение, то всё выражение получается "бесконечным"?
мне кажется, я задаю слишком тупые вопросы, но приведите, пожалуйста, хоть пример такого выражения

[p51x]

Сообщение от Алексей9912

например, непонятно, что это за вертикальные линии.

А что вертикальная линия делает в Си? А если чуть голову включить: "выражение это истина ЧТО_ТО_НЕПОНЯТНОЕ ложь"... Что же вместо ЧТО_ТО_НЕПОНЯТНОЕ вставить?..

https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_form

Сообщение от Алексей9912

и если операнды могут содержать выражение, то всё выражение получается "бесконечным"?

5 + (4 - 1) тоже операнд содержит выражение. Оно бесконечное?

[Алексей9912]

то есть выражение для анализа может выглядеть в пяти ипостасях?
T
F
And(x-y= 0)
Or(x-y= 0)
Not(х-у= 0)

допустим так. я все правильно понимаю?

[p51x]

Не совсем. Вы вики прочитали? С T, F все просто, а дальше And(<операнды>) = And(выражение, выражение) и т.д. Формально, Not(Or(And(T, F), Or(Not(F), And(T, F)))) вполне себе выражение.

[Алексей9912]

спасибо за помощь

[Алексей9912]

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <ctype.h>

int check(char c, char che[]);
char* is_par(char* c);
char* is_enum(char* c);
void is_log(char* c);


int main()
{
    char* c = (char*)malloc(100 * sizeof(char));
    fgets(c, 100, stdin);
    is_log(c);
    return 0;
}


int check(char c, char che[]) {
    int l = strlen(che);
    int n = 0;
    for (int i = 0; i < l; i++) {
        if (c == che[i]) {
            n++;
            break;
        }
    }
    return n;
}  /*проверка вхождения символа в массив*/

char* is_par(char* c) {
    int par = 0;
    if (*(c + 1) == '(') {
            par++;
            c += 2;
            is_enum(c);
        }
    if (*(c + 1) == ')') par--;
    c += 2;
    return c;
} /*проверка и подсчет скобок*/

char* is_enum(char* c) {
    while (isalnum(*c)) c++;
    char operations[] = "+-/*%", comp[] = "<>=!";
    if ((check(*c, operations)) || ((check(*c, comp) && *(c + 1) == '='))) {
            is_par(c);
            printf("Expressions arranged correctly");
    }
    is_log(c);
    return c;
} /*проверка выражений*/


void is_log(char* c) {
    if (check(*c, "TtFf")) {
        printf("Expression arranged correctly");
    } else if (check(*c, "Aa") && check(*(c + 1), "Nn") && check(*(c + 2), "Dd")) {
        c += 3;
        is_enum(c);
    } else if (check(*c, "Nn") && check(*(c + 1), "Oo") && check(*(c + 2), "Tt")) {
        c += 3;
        is_enum(c);
    } else if (check(*c, "Oo") && check(*(c + 1), "Rr")) {
        c += 2;
        is_enum(c);
    }
    return;
}

вот я написал код этого анализатора. программа не работает абсолютно. если только на самом начальном этапе. подскажите, пожалуйста, что тут неправильно?

[p51x]

Так какая переменная дает ответ на задание? Где результат то?

А по коду куча вопросов... Например, вы отдаете в is_enum следующий за AND|OR|NOT символ - он же скобка и вы его просто пропускаете, т.е. выражение And))(())(* вполне пройдет.

[Алексей9912]

в случае с T и F ответ выводится сразу же через printf. в остальных случаях... действительно, какого-то четкого ответа нет. я понимаю, что к моему коду много вопросов, но это все, на что моих мозгов хватило. подкиньте, пожалуйста, идейку в правильном направлении. было бы прекрасно, если бы подкинули еще и правильную функцию. хотя бы одну из