Commits · bc91e284da86b82f2e342f5aa5a5dfa81e83e603 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Sep 23, 2021
- algo: modify determinize of NPDA to result in RHDPDA · efa33b08
  Jan Trávníček authored 3 years ago
  
  efa33b08
May 28, 2021
- examples: another zautomaton example · c11a19e9
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  c11a19e9
- aux: dot converter of arc factored ZAutomata · b42b0ca7
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  b42b0ca7
- xml: fix alphabet node of ZAutomata · 4f6005f1
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  4f6005f1
Apr 02, 2021

Added:
 - Nondeterministic Z-Automaton [1]
 - ArcFactored Deterministic Z-Automaton [1]
 - ArcFactored Nondeterministic Z-Automaton [1]

[1] Johanna Björklund, Frank Drewes, Giorgio Satta: Z-Automata for
Compact and Direct Representation of Unranked Tree Languages
https://doi.org/10.1007/978-3-030-23679-3_7



Co-authored-by: Tomáš Pecka <tomas.pecka@fit.cvut.cz>

dcbff10a

Mar 25, 2021
- data: redesign automaton::Shift · 5b56fdea
  Jan Trávníček authored 3 years ago
  
  avoid c-arrays
  5b56fdea
Mar 08, 2021
- remove \r from files · 67209cf8
  Tomáš Pecka authored 4 years ago
  
  Unverified
  
  67209cf8
Aug 15, 2020
- update measurements sample script · a9f001ce
  Jan Trávníček authored 4 years ago
  
  a9f001ce
- fix avy tree automata solution · f241a3aa
  Jan Trávníček authored 4 years ago
  
  f241a3aa
Apr 26, 2020
- add example measuring script · c3d305ef
  Jan Trávníček authored 4 years ago
  
  c3d305ef
Apr 23, 2020
- intersect deterministic tree automata · f77d8d09
  Jan Trávníček authored 4 years ago
  
  f77d8d09
- allow FTA from string parsing · e6cb7cd9
  Jan Trávníček authored 4 years ago
  
  e6cb7cd9
Apr 18, 2020
- examples: RTE for lisp lists · 500d545b
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 4 years ago
  
  Unverified
  
  500d545b
- examples: rename RTE file · 762760cf
  Tomáš Pecka authored 4 years ago
  
  Unverified
  
  762760cf
Apr 02, 2020
- xmlapi Unordered NFTA · 994c874c
  Jan Trávníček authored 5 years ago
  
  994c874c
Dec 04, 2019
- one more grammar example · 72d841ed
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  72d841ed
Nov 22, 2019
- fix eof after newline bug in CharSequence · 63ab528a
  Jan Travnicek authored 5 years ago
  
  63ab528a
- sample aql file · 2185ac3a
  Jan Trávníček authored 5 years ago
  
  2185ac3a
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 5 years ago
  
  95f28a3f
Mar 01, 2019
- redesign ghlushkov follow · dc9fbc81
  Jan Trávníček authored 6 years ago
  
  dc9fbc81
Feb 22, 2019
- Tests: Remove bash tests · 72805b10
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 6 years ago
  
  72805b10
Feb 18, 2019
- wip template glushkov rte conversion · ecbafc96
  Jan Trávníček authored 6 years ago
  
  ecbafc96
Nov 06, 2018
- make one of grammars with dos newlines · 7e4d2294
  Jan Trávníček authored 6 years ago
  
  7e4d2294
Nov 04, 2018
- windows newlines in automata parser again · 6cb83136
  Jan Trávníček authored 6 years ago
  
  6cb83136
May 31, 2018
- simplify failing input · 23db3f3d
  Jan Trávníček authored 6 years ago
  
  23db3f3d
- failing generalized Levenstein inputs · 370dc2e9
  Jan Trávníček authored 6 years ago
  
  370dc2e9
May 29, 2018
- glushkovrte: debug submap, add bad cplx example · 7a7211a2
  Tomáš Pecka authored 6 years ago
  
  7a7211a2
May 07, 2018
- Rename SubtreeWildcardSymbol to WildcardSymbol across whole project. · f1dd80d5
  Tomas Capek authored 6 years ago and Jan Trávníček committed 6 years ago
  
  f1dd80d5
Apr 27, 2018
- add multi initial state nfa · 85f1eb1d
  Jan Trávníček authored 6 years ago
  
  85f1eb1d
Jan 18, 2018
- some new basic arbology tree+pattern test files · 4d544f41
  Jan Trávníček authored 7 years ago
  
  4d544f41
Dec 08, 2017
- add another sample context free grammar · 794778a0
  Jan Trávníček authored 7 years ago
  
  794778a0
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
Oct 04, 2017
- add limit line to 1000 chars in rte gens · cde29e16
  Jan Trávníček authored 7 years ago
  
  cde29e16
Aug 11, 2017
- remove current measurement handler implementation · ffda0256
  Jan Trávníček authored 7 years ago
  
  ffda0256
Aug 02, 2017
- RTE input generator test fix · 6540fbed
  Tomáš Pecka authored 7 years ago
  
  6540fbed

Admin message