Commits · bf5e70208f84de253f8dda96da1af4afc5fa5793 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Nov 04, 2014
- simplify determinize binary · bf5e7020
  Jan Trávníček authored 10 years ago
  
  bf5e7020
Oct 30, 2014
- move more · d13953ae
  Jan Trávníček authored 10 years ago
  
  d13953ae
- speedup epsilon closure and remover · f517924b
  Jan Trávníček authored 10 years ago
  
  f517924b
Oct 28, 2014
- fix corner case in matching · 844508e2
  Jan Trávníček authored 10 years ago
  
  844508e2
Oct 27, 2014
- fix exact matching automaton construction · 7ef8af92
  Jan Trávníček authored 10 years ago
  
  7ef8af92
- construct exact matching automaton · ac4761c4
  Jan Trávníček authored 10 years ago
  
  ac4761c4
- naive exact matching · 477ab52d
  Jan Trávníček authored 10 years ago
  
  477ab52d
- unsigned occurrences indexes · dfaa62f1
  Jan Trávníček authored 10 years ago
  
  dfaa62f1
- implement occurrences finder · 79428cd8
  Jan Trávníček authored 10 years ago
  
  79428cd8
- transform pop symbols in correct order · cd27039a
  Jan Trávníček authored 10 years ago
  
  cd27039a
- fix typos · c9decaa6
  Jan Trávníček authored 10 years ago
  
  c9decaa6
Oct 26, 2014
- implement Automaton run · a713f488
  Jan Trávníček authored 10 years ago
  
  a713f488
- revert use getTransitionsFromState · b273d647
  Jan Trávníček authored 10 years ago
  
  b273d647
Oct 25, 2014
- do not consider BottomOTS symbols in RHDNPDA->NPDA · 6987ee5e
  Jan Trávníček authored 10 years ago
  
  6987ee5e
- rename states and transitions of DFA and DPDA · 0816432e
  Jan Trávníček authored 10 years ago
  
  0816432e
- Make normalization working with DPDA as well · 99065a1f
  Jan Trávníček authored 10 years ago
  
  99065a1f
- make RHPDAToPDA real inverse to PDAToRHPDA · acb5c1e5
  Jan Trávníček authored 10 years ago
  
  by removing all transitions that use BottomOfTheStack symbol
  acb5c1e5
Oct 22, 2014
- fix Author typos · 22299c90
  Jan Trávníček authored 10 years ago
  
  22299c90
- unify default convertors · b0d97d14
  Jan Trávníček authored 10 years ago
  
  b0d97d14
- More renaming and refactoring · 80bcd299
  Jan Trávníček authored 10 years ago
  
  80bcd299
- More renaming and reformating · dd7427e2
  Jan Trávníček authored 10 years ago
  
  dd7427e2
Oct 21, 2014
- more restructualisations · a309fc9f
  Jan Trávníček authored 10 years ago
  
  a309fc9f
Oct 19, 2014
- reorganise alib2algo · fbecf14a
  Jan Trávníček authored 10 years ago
  
  fbecf14a
Oct 18, 2014
- split TrimFSM · 80174bd8
  Jan Trávníček authored 10 years ago
  
  80174bd8
- Split and static entry functions for Usefull and Unreachable states · 116eb9ac
  Jan Trávníček authored 10 years ago
  
  116eb9ac
- static entry functions of regexp optimize · 8935f925
  Jan Trávníček authored 10 years ago
  
  8935f925
Oct 17, 2014
- fix typo · 889cdfb8
  Jan Trávníček authored 10 years ago
  
  889cdfb8
- unify StateElimination · 4420f89a
  Jan Trávníček authored 10 years ago
  
  4420f89a
- base implementation of FormalRegExp optimizations · 47e55caf
  Jan Trávníček authored 10 years ago
  
  47e55caf
- regexp operations · 2a623ebf
  Jan Trávníček authored 10 years ago
  
  2a623ebf
Oct 14, 2014
- introduce type subsubclass specific visitables · 21a26792
  Jan Trávníček authored 10 years ago
  
  21a26792
Oct 13, 2014
- implementation of trivial conversions of FSMs · aeb1d52d
  Jan Trávníček authored 10 years ago
  
  aeb1d52d
- Changes to reflect singleInitialStateFSM data +fix · 328cff4b
  Jan Trávníček authored 10 years ago
  
  328cff4b
Oct 12, 2014
- singleInitialState for FSMs in alib2algo · 583a0954
  Jan Trávníček authored 10 years ago
  
  583a0954
Oct 10, 2014
- fix typos · 52f81583
  Jan Trávníček authored 10 years ago
  
  52f81583
- remove UnknownAutomaton UnknownGrammar · 86c6e33d
  Jan Trávníček authored 10 years ago
  
  86c6e33d
Oct 06, 2014
- algo: GrammarProperties: Nullable nonterminals, unit rule cycles · 8b714c74
  Tomáš Pecka authored 10 years ago
  
  8b714c74
- determinisation results are DPDAs · 813b3029
  Jan Trávníček authored 10 years ago
  
  813b3029
Oct 05, 2014
- RealTimeHeightDeterministicDPDA VisiblyPushdownDPDA · a5decc19
  Jan Trávníček authored 10 years ago
  
  a5decc19
Sep 30, 2014
- simplify NFA IDPDA determinisation · b1a61660
  Jan Trávníček authored 10 years ago
  
  b1a61660

Admin message