Контекстно-свободная грамматика в формате BNF формате, разработанная в среде Eclipse при помощи библиотеки XText. Грамматика описывает все возможные представления формул LTL-семантики для EDTL на естественном (английском) языке. Полная LTL-семантика выглядит как как G ((trig ∧ (¬ rel)) → ((inv ∧ (¬ fin)) W (fin ∧ ((inv ∧ (¬ del)) W (rel v (inv ∧ rea)))))). Ее представление на естественном языке выглядит как “After , should remain valid until either or , which must occur within from ”.
tertiadecima/EDTL_to_CNL
Контролируемый естественный язык для представления формул LTL-семантики для EDTL
Java