Commits · 9bc24b51c70bb0d1bea9c400148adefa2406f26a · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Nov 03, 2015
- test RHDPDA · c487f22a
  Jan Trávníček authored 9 years ago
  
  c487f22a
- examples: NPDA2 with modified stack operations (i am able to determinize this one) · 1bc3890b
  Tomáš Pecka authored 9 years ago
  
  1bc3890b
Oct 28, 2015
- some more example trees · 0a9bacf1
  Jan Trávníček authored 9 years ago
  
  0a9bacf1
Oct 20, 2015
- another example automaton · dce96d49
  Jan Trávníček authored 9 years ago
  
  dce96d49
Sep 28, 2015
- add tests for boyerMooreHorspool on tree patterns · 6c81af3c
  Jan Trávníček authored 9 years ago
  
  6c81af3c
Jun 06, 2015
- update NFTA.DET xml format · b5de950d
  Jan Trávníček authored 9 years ago
  
  b5de950d
Jun 05, 2015
- NTFA determinization test · 7711b970
  Štěpán Plachý authored 9 years ago
  
  7711b970
Jun 03, 2015
- exact subtree matching test · 70646580
  Jan Trávníček authored 9 years ago
  
  70646580
May 24, 2015
- -rankedBarSymbol refactor rankedSymbol · 76bc502b
  Jan Trávníček authored 9 years ago
  
  76bc502b
May 20, 2015
- rank is unsigned integer · e35af02c
  Jan Trávníček authored 9 years ago
  
  e35af02c
May 19, 2015
- +aarbology binary · 9811b0a2
  Jan Trávníček authored 9 years ago
  
  9811b0a2
Apr 18, 2015
- Tree automaton determinization accept occurences, random tree generator · 03492001
  Štěpán Plachý authored 10 years ago
  
  03492001
Mar 22, 2015
- refactor, rename for all deterministic pdas · 30b36274
  Jan Trávníček authored 10 years ago
  
  30b36274
Feb 19, 2015
- grammar normalization (CNF, GNF) tests · 7f1b191a
  Jan Trávníček authored 10 years ago
  
  7f1b191a
Jan 23, 2015
- fix automata Occurrences runner · 579c5321
  Jan Trávníček authored 10 years ago
  
  579c5321
Jan 22, 2015
- stringology tests -- failing due to errors in algorithms · 5d06e2fa
  Jan Trávníček authored 10 years ago
  
  5d06e2fa
- fix type of example automaton · 6201971b
  Jan Trávníček authored 10 years ago
  
  6201971b
Jan 21, 2015
- Make DPDA normalize realy deterministic and reliable · 8231e614
  Jan Trávníček authored 10 years ago
  
  8231e614
- fix determinize tests · b9cad237
  Jan Trávníček authored 10 years ago
  
  b9cad237
- add tests · a32a2494
  Jan Trávníček authored 10 years ago
  
  a32a2494
Jan 19, 2015
- some work on determinisation tests · 3ec1e84a
  Jan Trávníček authored 10 years ago
  
  3ec1e84a
- add example xml readibility test +fix issues found · 2481fe32
  Jan Trávníček authored 10 years ago
  
  2481fe32
- grammars in new internal form · f92d3d37
  Jan Trávníček authored 10 years ago
  
  f92d3d37
Jan 18, 2015
- formating · 067c2f6c
  Jan Trávníček authored 10 years ago
  
  067c2f6c
- RHDPDA in new internal form · 5fae06be
  Jan Trávníček authored 10 years ago
  
  5fae06be
- transform NVPA to new internal form · 2b91a0c1
  Jan Trávníček authored 10 years ago
  
  2b91a0c1
Jan 17, 2015
- inplement InputDrivenDPDA and transform IDPDA examples to new format · 187949b1
  Jan Trávníček authored 10 years ago
  
  187949b1
Jan 13, 2015
- transform example turing machines to new xml representation · 53a96b76
  Jan Trávníček authored 10 years ago
  
  53a96b76
- tweak string internal form · 901b3394
  Jan Trávníček authored 10 years ago
  
  901b3394
- move some more example automata to new format · f427ada1
  Jan Trávníček authored 10 years ago
  
  f427ada1
Jan 12, 2015
- fix example automata · 77787424
  Jan Trávníček authored 10 years ago
  
  77787424
Nov 12, 2014
- fix example regexp · 9fae208c
  Jan Trávníček authored 10 years ago
  
  9fae208c
Nov 05, 2014
- fix example automata · de0bcdcc
  Jan Trávníček authored 10 years ago
  
  de0bcdcc
Nov 02, 2014
- api::first for supported datastructures · 0cedc1af
  Jan Trávníček authored 10 years ago
  
  0cedc1af
Oct 28, 2014
- sample regexps new api · 410bd45b
  Jan Trávníček authored 10 years ago
  
  410bd45b
Oct 25, 2014
- fix order of symbols in transitions · 3a6e15bc
  Jan Trávníček authored 10 years ago
  
  3a6e15bc
- deterministic, normalized versions of NPDA example · 4eae0c76
  Jan Trávníček authored 10 years ago
  
  4eae0c76
Oct 13, 2014
- Changes to reflect singleInitialStateFSM data +fix · 328cff4b
  Jan Trávníček authored 10 years ago
  
  328cff4b
Sep 27, 2014
- primitive labes handled using primitives · 0fcb1e56
  Jan Trávníček authored 10 years ago
  
  0fcb1e56
Sep 26, 2014
- add RHPDAToPDA algorithm tested not final · 3a4c3b4c
  Jan Trávníček authored 10 years ago
  
  3a4c3b4c