diff --git a/aconversions/src/aconversion/aconversion.cpp b/aconversions/src/aconversion/aconversion.cpp index e1ed3bdd3337337debd786b21ac0d87548dfdb35..bbeb5a9732d90fe30ce4ca31cc9c4d021d4212ab 100644 --- a/aconversions/src/aconversion/aconversion.cpp +++ b/aconversions/src/aconversion/aconversion.cpp @@ -36,7 +36,6 @@ void list_algorithms( void ) { cout << "List of available algorithms:" << endl; - cout << " |" << endl; cout << " +- FA to RE:" << endl; cout << " | +- 'algebraic' - Converts to RE using Brzozowski algebraic method." << endl; @@ -47,16 +46,18 @@ void list_algorithms( void ) cout << " | +- 'right' [Default] - Converts to right regular grammar." << endl; cout << " +- RE to FA:" << endl; - cout << " | +- 'brzozowski' - Converts to right regular grammar." << endl; - cout << " | +- 'thompson' - Converts to right regular grammar." << endl; - cout << " | +- 'glushkov' [Default] - Converts to right regular grammar." << endl; + cout << " | +- 'brzozowski' - Converts to finite automata using Brzozowski's Derivation method." << endl; + cout << " | +- 'thompson' - Converts to finite automata using Thompson's NFA Construction algorithm." << endl; + cout << " | +- 'glushkov' [Default] - Converts to finite automata using Gluskov's NFA algorithm." << endl; cout << " +- RE to RG:" << endl; + cout << " | +- 'brzozowski' [Default] - Converts to right regular grammar using Brzozowski's Derivation Method." << endl; cout << " +- RG to FA:" << endl; cout << " | +- 'rg' [Default] - Converts right or left regular grammar to finite automata." << endl; cout << " +- RG to RE:" << endl; + cout << " | +- 'algebraic' [Default] - Converts left or right regular grammar to regexp using Brzozowski's Algebraic method." << endl; cout << " +- (L/R)RG to (R/L)RG:" << endl; cout << " | +- 'rg' [Default] - Converts right to left regular grammar or vice versa." << endl;