Update README.md

xsk07 · Oct 29, 2021 · 679942e · 679942e
1 parent a86e028
commit 679942e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -15,6 +15,6 @@ The instructions are available at <a href="https://github.com/whitemech/LTLf2DFA
 - Syntax and parsing support for the Linear Temporal Logic with Past operators over Finite traces (LTLpf);
 - Conversion of LTLpf formulae containing unary temporal operators into an equivalent form of the US temporal logic;
 - Visualization of the formulae as trees;
-- Separation of LTLpf formulae into triples of pure past, pure present and pure future ones, written using booleans and the US connectives only, 
-it is also possible to view the list of elimination rules applied by the algorithm of the Separation Theorem, and to generate the respective triples of automata;
+- Separation of LTLpf formulae into triples of pure past, pure present and pure future ones written using the booleans and the US connectives only, 
+it is also possible to view the list of elimination rules of the Separation Theorem applied by the algorithm, and to generate the respective triples of automata;
 - Visualization of pure formulae as DFA;