1
Каким будет код для получения предиката в заданном выражении лямбда-исчисления.Получение предикатов в выражении исчисления лямбда
Учитывая лямбда-выражения
(race(x) & run(I2,x))
Я знаю, что гонки и запустить предикаты.
Как извлечь предикаты в коде или в любом коде?
Вы можете посмотреть на [Pyparsing] (https://pyparsing.wikispaces.com/), если вы можете перевести свой «любой заданный код» в грамматику. – jedwards
Я изначально получил выражение лямбда-исчисления и грамматику FCFG, чтобы это помогло? –