Commits · e58add44107aba95cce83abdc13232f18e318034 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

May 20, 2019
- replace variant with symbol_or_epsilon in epsilon allowed automata · e58add44
  Jan Travnicek authored 5 years ago
  
  e58add44
May 15, 2019
- some tiny fixes · f129f02e
  Jan Trávníček authored 5 years ago
  
  f129f02e
May 13, 2019
- replace Epsilon with void type · 121e16a7
  Jan Trávníček authored 5 years ago
  
  121e16a7
Apr 25, 2019
- more simplifications of grammar properties algorithms · 85b58d09
  Jan Trávníček authored 5 years ago
  
  85b58d09
- shorten reachable and useful states computation code · c8aa8e87
  Jan Trávníček authored 5 years ago
  
  c8aa8e87
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
- 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
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 5 years ago
  
  d83aad67
- use require in compaction algo and implement it for NFa · 684b86f8
  Jan Travnicek authored 5 years ago
  
  684b86f8
- fix compaction algo · fda815ea
  Jan Travnicek authored 5 years ago
  
  fda815ea
- add and test use automata detection traits · 320ed635
  Jan Trávníček authored 5 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
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 01, 2019
- fix FTA to PDA · 69f05a8b
  Jan Trávníček authored 6 years ago
  
  69f05a8b
- template FTA to PostfixPDA · 7e3f919b
  Jan Trávníček authored 6 years ago
  
  7e3f919b
- add NFA and NPDA renaming algo · c59ea8fb
  Jan Trávníček authored 6 years ago
  
  c59ea8fb

Admin message