Commits · df400674d449431d77fbdf512394d501c01edb12 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Dec 21, 2016
- use default data types in PDA <-> RHPDA <-> PDA · df400674
  Jan Trávníček authored 8 years ago
  
  df400674
Dec 06, 2016
- create symbol, primitive, label using constructors · b5bb1c28
  Jan Trávníček authored 8 years ago
  
  b5bb1c28
Nov 18, 2016
- new approach to specify constant labels · 8e0088ba
  Jan Trávníček authored 8 years ago
  
  8e0088ba
- new approach to specify constant symbols · f4861fba
  Jan Trávníček authored 8 years ago
  
  f4861fba
Nov 14, 2016
- use new createUnique approach · e908bf1e
  Jan Trávníček authored 8 years ago
  
  e908bf1e
Sep 21, 2016
- template RealTimeHeightDeterministicNPDA automaton · fa2f56bf
  Jan Trávníček authored 8 years ago
  
  fa2f56bf
- template RealTimeHeightDetermnisticDPDA automaton · 11106fec
  Jan Trávníček authored 8 years ago
  
  11106fec
Sep 15, 2016
- template NPDA automaton · 15a9e3c9
  Jan Trávníček authored 8 years ago
  
  15a9e3c9
- template DPDA automaton · 4dcc8aa9
  Jan Trávníček authored 8 years ago
  
  4dcc8aa9
Aug 21, 2016
- classes for initial, final, fail state labels · 761f2e94
  Jan Trávníček authored 8 years ago
  
  761f2e94
- continue with alib2algo · 96d6df65
  Jan Trávníček authored 8 years ago
  
  96d6df65
May 30, 2016
- Stack to PushdownStore rename · df1f7bee
  Jan Trávníček authored 8 years ago
  
  df1f7bee
- iteration improvements · 76a32400
  Jan Trávníček authored 8 years ago
  
  76a32400
Apr 15, 2016
- simplify dispatch and error reporting · 1b79f68c
  Jan Trávníček authored 9 years ago
  
  1b79f68c
Apr 14, 2016
- AlibException->CommonException in alib2algo · a65e65d4
  Jan Trávníček authored 9 years ago
  
  a65e65d4
Oct 26, 2015
- format code · 7b2e311b
  Jan Trávníček authored 9 years ago
  
  7b2e311b
- reversed push forward pop in PDA <> RHDPDA · 431cfe27
  Jan Trávníček authored 9 years ago
  
  431cfe27
Oct 25, 2015
- castting accepts a function, use in RHDPDA <> PDA · 83b7ca0b
  Jan Trávníček authored 9 years ago
  
  83b7ca0b
Aug 14, 2015
- continue refactoring with automata transformations · f11ec866
  Jan Trávníček authored 9 years ago
  
  f11ec866
Apr 18, 2015
- Tree automaton determinization accept occurences, random tree generator · 03492001
  Štěpán Plachý authored 10 years ago
  
  03492001
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
Oct 27, 2014
- transform pop symbols in correct order · cd27039a
  Jan Trávníček authored 10 years ago
  
  cd27039a
Oct 19, 2014
- reorganise alib2algo · fbecf14a
  Jan Trávníček authored 10 years ago
  
  fbecf14a
Oct 14, 2014
- introduce type subsubclass specific visitables · 21a26792
  Jan Trávníček authored 10 years ago
  
  21a26792
Oct 12, 2014
- singleInitialState for FSMs in alib2algo · 583a0954
  Jan Trávníček authored 10 years ago
  
  583a0954
Oct 10, 2014
- remove UnknownAutomaton UnknownGrammar · 86c6e33d
  Jan Trávníček authored 10 years ago
  
  86c6e33d
Oct 06, 2014
- 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 26, 2014
- add RHPDAToPDA algorithm tested not final · 3a4c3b4c
  Jan Trávníček authored 10 years ago
  
  3a4c3b4c
Sep 24, 2014
- algo: fix exception messages · e2b589d8
  Tomáš Pecka authored 10 years ago
  
  e2b589d8
Sep 23, 2014
- Untested NPDA to RealTimeHeightDeterministicNPDA · 23361992
  Jan Trávníček authored 10 years ago
  
  23361992