Commits · f040439a83a6d01e66c4187dfb51dff23e64a34e · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Apr 07, 2015
- exact matching automaton · f040439a
  Jan Trávníček authored 10 years ago
  
  f040439a
Mar 22, 2015
- refactor, rename for all deterministic pdas · 30b36274
  Jan Trávníček authored 10 years ago
  
  30b36274
Jan 23, 2015
- fix automata Occurrences runner · 579c5321
  Jan Trávníček authored 10 years ago
  
  579c5321
Jan 21, 2015
- Make DPDA normalize realy deterministic and reliable · 8231e614
  Jan Trávníček authored 10 years ago
  
  8231e614
Jan 20, 2015
- algo: DFA compaction · ff35da6e
  Tomáš Pecka authored 10 years ago and Jan Trávníček committed 10 years ago
  
  ff35da6e
Jan 17, 2015
- inplement InputDrivenDPDA and transform IDPDA examples to new format · 187949b1
  Jan Trávníček authored 10 years ago
  
  187949b1
Jan 12, 2015
- rename InputSymbols to InputAlphabet and similairly · 0a51a6cb
  Jan Trávníček authored 10 years ago
  
  0a51a6cb
- make number of initial states and symbols match formal definitions · ff52c866
  Jan Trávníček authored 10 years ago
  
  ff52c866
Dec 08, 2014
- Speedup and cleanup rhpda and vpa determinize · 293730c3
  Jan Trávníček authored 10 years ago
  
  293730c3
Nov 30, 2014
- change determinize internal api · 485ce712
  Jan Trávníček authored 10 years ago
  
  485ce712
Nov 29, 2014
- algo: automaton iteration · 77df9f57
  Tomáš Pecka authored 10 years ago
  
  77df9f57
Nov 24, 2014
- Fix typo ('s/incomming/incoming/') · db028a8e
  Tomáš Pecka authored 10 years ago
  
  db028a8e
- incomming epsilon transitions remover · 79e394db
  Jan Trávníček authored 10 years ago
  
  79e394db
Nov 22, 2014
- algo: concat, union+concat tests · 9853e073
  Tomáš Pecka authored 10 years ago
  
  9853e073
Nov 21, 2014
- algo: Finite Automata Intersection · 46a8a638
  Tomáš Pecka authored 10 years ago
  
  46a8a638
- algo: Finite Automata Union (Cartesian,Epsilon) · f352c469
  Tomáš Pecka authored 10 years ago
  
  f352c469
- algo: Finite Automata Concatenation · 54a74f3b
  Tomáš Pecka authored 10 years ago
  
  54a74f3b
Nov 18, 2014
- Algo: Brzozowski Minimize · f1b161a2
  Tomáš Pecka authored 10 years ago
  
  f1b161a2
- Fix fsm trimming: Preserve alphabet · b6cff132
  Tomáš Pecka authored 10 years ago
  
  b6cff132
Nov 15, 2014
- Fix singleInitialState algorithm · 6cdca5de
  Tomáš Pecka authored 10 years ago
  
  6cdca5de
Nov 14, 2014
- unify spaces/tabs · c3a47467
  Jan Trávníček authored 10 years ago
  
  c3a47467
Nov 08, 2014
- algo: Reverse DFA/NFA · d6fdd69b
  Tomáš Pecka authored 10 years ago
  
  d6fdd69b
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 27, 2014
- 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

Admin message