Commits · 302a4980e6935c28025cd13890ce1b61df88a2aa · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Nov 13, 2019
- backward bisimulation and forward bisimulation by definition · 302a4980
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  302a4980
Jul 11, 2019
- remove RankType template parameter from ranked types · 5e380938
  Jan Trávníček authored 5 years ago
  
  5e380938
Apr 16, 2019
- Data: FormalRTE minor improvements · cb046e2a
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 5 years ago
  
  cb046e2a
- Examples of DFTAs · dd4cb3d3
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 5 years ago
  
  dd4cb3d3
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
Nov 04, 2018
- windows newlines in automata parser again · 6cb83136
  Jan Trávníček authored 6 years ago
  
  6cb83136
Apr 27, 2018
- add multi initial state nfa · 85f1eb1d
  Jan Trávníček authored 6 years ago
  
  85f1eb1d
Nov 10, 2017
- some more string examples · 8f1453db
  Jan Trávníček authored 7 years ago
  
  8f1453db
Oct 20, 2017
- make character numeric in xml · 565c3987
  Jan Trávníček authored 7 years ago
  
  565c3987
Jan 07, 2017
- SymbolType to Input and PushdownStore SymbolTypes · 5ac9ff9b
  Jan Trávníček authored 8 years ago
  
  5ac9ff9b
Jan 04, 2017
- template normalize algorithm · a804fcd9
  Jan Trávníček authored 8 years ago
  
  a804fcd9
Jan 02, 2017
- simplify examples of automata · 4ba41067
  Jan Trávníček authored 8 years ago
  
  4ba41067
Dec 27, 2016
- make composing and parsing to support ObjectsRefs · d3470717
  Jan Trávníček authored 8 years ago
  
  d3470717
Dec 22, 2016
- finish transformation from Symbol and Label to Object types · 114f04fc
  Jan Trávníček authored 8 years ago
  
  114f04fc
Dec 13, 2016
- make examples without references · 7b9bfea3
  Jan Trávníček authored 8 years ago
  
  7b9bfea3
Jun 22, 2016
- GlushkovRTEFollow: Follow math, debug, example · 0d45f40f
  Tomáš Pecka authored 8 years ago and Jan Trávníček committed 8 years ago
  
  0d45f40f
May 30, 2016
- Stack to PushdownStore rename · df1f7bee
  Jan Trávníček authored 8 years ago
  
  df1f7bee
Mar 23, 2016
- NPDA4 fix · 7ee743dd
  Tomáš Pecka authored 9 years ago
  
  7ee743dd
Mar 22, 2016
- NPDA5 · 9813f3f1
  Tomáš Pecka authored 9 years ago
  
  9813f3f1
Mar 21, 2016
- fix prev commit · c01d84a4
  Tomáš Pecka authored 9 years ago
  
  c01d84a4
- Examples: Two NPDAs for which the determinization takes too long time · b392edb2
  Tomáš Pecka authored 9 years ago
  
  b392edb2
Nov 19, 2015
- fix determinisation tests · 79419a0f
  Jan Trávníček authored 9 years ago
  
  79419a0f
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 20, 2015
- another example automaton · dce96d49
  Jan Trávníček authored 9 years ago
  
  dce96d49
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
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
Apr 18, 2015
- Tree automaton determinization accept occurences, random tree generator · 03492001
  Štěpán Plachý authored 9 years ago
  
  03492001
Mar 22, 2015
- refactor, rename for all deterministic pdas · 30b36274
  Jan Trávníček authored 10 years ago
  
  30b36274
Jan 22, 2015
- 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
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

Admin message