Commits · 213b9fed272cc86eb1993aa56bc3cd292099be4c · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Apr 17, 2019
- random tree automaton generator · 213b9fed
  Jan Trávníček authored 5 years ago
  
  213b9fed
Apr 16, 2019
- Algo: Normalize DFTA · c3ae7ccc
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 5 years ago
  
  c3ae7ccc
- add basic rte optimize functionality · cbdf1502
  Jan Trávníček authored 5 years ago
  
  cbdf1502
- use distinguishable states in minimisation algo · 70648cc1
  Jan Trávníček authored 5 years ago
  
  70648cc1
- undistinguishable states - new FTA, tiny redesign DFA · ed89903c
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  ed89903c
- fix header guards · e1121251
  Jan Travnicek authored 6 years ago and Jan Trávníček committed 5 years ago
  
  e1121251
Apr 11, 2019
- unify renaming code of FTAs · 4e47112c
  Jan Trávníček authored 5 years ago
  
  4e47112c
- tiny optimize · ec32f150
  Jan Trávníček authored 5 years ago
  
  ec32f150
Apr 10, 2019
- use multimap in NFTA · 2ceabadb
  Jan Trávníček authored 5 years ago
  
  2ceabadb
- redesign NFTA determinisation algo · b71f62d9
  Jan Trávníček authored 5 years ago
  
  b71f62d9
- add rename algo for DFTA and NFTA automata · 9a664d5d
  Jan Trávníček authored 5 years ago
  
  9a664d5d
- redesign StateType, SymbolType retrieval from FSMs · b9989265
  Jan Trávníček authored 5 years ago
  
  b9989265
- unify code in automaton rename algo · b448dc86
  Jan Trávníček authored 5 years ago
  
  b448dc86
- unify some algorithm code · 361225b0
  Jan Trávníček authored 5 years ago
  
  361225b0
Apr 03, 2019
- use move semantics in compaction · d83aad67
  Jan Travnicek authored 6 years ago
  
  d83aad67
- use require in compaction algo and implement it for NFa · 684b86f8
  Jan Travnicek authored 6 years ago
  
  684b86f8
- fix compaction algo · fda815ea
  Jan Travnicek authored 6 years ago
  
  fda815ea
- add and test use automata detection traits · 320ed635
  Jan Trávníček authored 6 years ago
  
  320ed635
Apr 02, 2019
- use multimap in multi initial state epsilon nfa · 81afeebd
  Jan Travnicek authored 6 years ago
  
  81afeebd
- use multimap in CompactNFA · 72eecf03
  Jan Trávníček authored 6 years ago
  
  72eecf03
- use multimap in Extended nfa · b886587c
  Jan Trávníček authored 6 years ago
  
  b886587c
- use multiset in MultiInitialStateNFA · f59fa426
  Jan Trávníček authored 6 years ago
  
  f59fa426
- redesign templating of some automata algorithms · 0cbe5736
  Jan Trávníček authored 6 years ago
  
  0cbe5736
- use multimap in EpsilonNFA · 67c13385
  Jan Trávníček authored 6 years ago
  
  67c13385
- use multimap in NFA transitions · d30742c5
  Jan Trávníček authored 6 years ago
  
  d30742c5
- some auxiliary algorithms needed by CompactDFA · 035553d9
  Jan Trávníček authored 6 years ago
  
  035553d9
- compactise DFA to CompactDFA · 34a405c5
  Jan Trávníček authored 6 years ago
  
  34a405c5
- fix V2 optimisation of regexps · d80e2c16
  Jan Travnicek authored 6 years ago
  
  d80e2c16
Mar 30, 2019
- Algo: Update minimize doc · 5b6d225c
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  5b6d225c
- Algo: Compute minimal DFA using sets of undistinguishable states · 219056ce
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  219056ce
- Algo: Compute partitions of undistinguishable states · 038558a6
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  038558a6
- Algo: Distinguishable states of DFA · df4f38be
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  df4f38be
- Algo: Check whether DFA/NFA defines an infinite language · 5d7e0886
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  5d7e0886
Mar 27, 2019
- redesign trim FTA · dc65d4b1
  Jan Travnicek authored 6 years ago
  
  dc65d4b1
Mar 26, 2019
- Algo: FA to RE conversion using the algorithm from the proof of the DFA->RE theorem · 95f28a3f
  Tomáš Pecka authored 6 years ago
  
  95f28a3f
Mar 21, 2019
- verbose backward string matching algorithms · 38f78df9
  Jan Trávníček authored 6 years ago
  
  38f78df9
Mar 19, 2019
- enable A9 and some move semantics improvements · f81e77a2
  Jan Trávníček authored 6 years ago
  
  f81e77a2
- enable A8 regexp optimize · 14d6dd76
  Jan Travnicek authored 6 years ago and Jan Trávníček committed 6 years ago
  
  14d6dd76
Mar 14, 2019
- enable V9 regexp optimisation · 920c0f71
  Jan Trávníček authored 6 years ago
  
  920c0f71
Mar 13, 2019
- add reverse V8 regexp optimisation · 2b72060a
  Jan Trávníček authored 6 years ago
  
  2b72060a

Admin message