Commits · 41e2696bf614e8d9c668d20060d91df97c2bd7d2 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Mar 31, 2014
- Examples: Automata into own directory, added words · 41e2696b
  Tomáš Pecka authored 10 years ago
  
  41e2696b
- alib: Work on Word/String · 4d3d989a
  Tomáš Pecka authored 10 years ago
  
  - Fix StringPrinter - RemoveAlphabetSymbol() now checks for symbol presence in both alphabet and content. - some constness - Doxygen (original was obviously copy-pasted)
  4d3d989a
- aconversion: Use list::front() and back() instead of iterators · 38b9e100
  Tomáš Pecka authored 10 years ago
  
  38b9e100
- aconversions: apply prev fix (#12 , #22 , #23 ) also to Brzozowski RE->RRG · d152a316
  Tomáš Pecka authored 10 years ago
  
  d152a316
- aconversion tests: Add missing LRG -> RE test · dda47dcf
  Tomáš Pecka authored 10 years ago
  
  dda47dcf
- Test script for aconversion · 4a9e1472
  Tomáš Pecka authored 10 years ago
  
  - Note that this requires arand executable which is not finished yet, but obtainable from branch genRandAutomata.
  4a9e1472
- fix warnings · 01d16eea
  Jan Trávníček authored 10 years ago
  
  01d16eea
- fix for issue 12 · d6ba871f
  Jan Trávníček authored 10 years ago and Tomáš Pecka committed 10 years ago
  
  d6ba871f
Mar 30, 2014
- aconversion: Exceptions to stderr · 1ba3bc01
  Tomáš Pecka authored 10 years ago
  
  1ba3bc01
- aconversions: Brzozowski fixes: · b1bc871e
  Tomáš Pecka authored 10 years ago
  
  - RE to FA: comments - RE to RRG: fix generating epsilon rules and workaround for issue #22
  b1bc871e
- aconversion: workaround for issue #22 · 29847ff0
  Tomáš Pecka authored 11 years ago
  
  29847ff0
- alib: Fix RegExp::isEmpty() · 9418b2f6
  Tomáš Pecka authored 11 years ago
  
  9418b2f6
Mar 29, 2014
- aconversion: Special case in FA -> RRG conversion · 827ff615
  Tomáš Pecka authored 11 years ago
  
  827ff615
Mar 26, 2014
- add comments to vpa determinization + a little bit of refactoring · 5c800b1b
  Jan Vesely authored 11 years ago
  
  5c800b1b
- small change in comment · 48539679
  Jan Vesely authored 11 years ago
  
  48539679
- small change in fsm state data · 83ec406a
  Jan Vesely authored 11 years ago
  
  83ec406a
- add comments into idpda determinization, refactor idpda determinization · 700148a2
  Jan Vesely authored 11 years ago
  
  700148a2
- rename nfsmStates to fromStates · c5979520
  Jan Vesely authored 11 years ago
  
  c5979520
- add precomputing of pop and push symbols · 28cbfc9d
  Jan Vesely authored 11 years ago
  
  28cbfc9d
- typo · dd66de43
  Jan Vesely authored 11 years ago
  
  dd66de43
Mar 25, 2014
- Doxygen to almost every foo in aconversions · e4075c68
  Tomáš Pecka authored 11 years ago
  
  e4075c68
- Comments for libaregexptree · 6e95ad2b
  Tomáš Pecka authored 11 years ago
  
  6e95ad2b
- Merge branch 'conversions' · 430e57b6
  Tomáš Pecka authored 11 years ago
  
  430e57b6
Mar 23, 2014
- Merge libaderivation into libaregexptree · c3c64209
  Tomáš Pecka authored 11 years ago
  
  c3c64209
- Fix build in adeterminize · 092c811f
  Tomáš Pecka authored 11 years ago
  
  092c811f
- Fix makefile · caaa27d7
  Tomáš Pecka authored 11 years ago
  
  - remove forgot adeterminize from libs section - atrim.fsm renamed to atrim
  caaa27d7
- Merge branch 'atrim' · c90e87b6
  Tomáš Pecka authored 11 years ago
  
  Conflicts: atrim.fsm/src/DeadStateRemover.cpp atrim.fsm/src/DeadStateRemover.h atrim.fsm/src/UnreachableStateRemover.cpp atrim.fsm/src/UnreachableStateRemover.h
  c90e87b6
- atrim: typos in exec · 24c1576d
  Tomáš Pecka authored 11 years ago
  
  24c1576d
- atrim: merge two FSM trim classes · db17ec87
  Tomáš Pecka authored 11 years ago
  
  db17ec87
- Refactor dead and unreachable states remover · 1bc767d1
  Tomáš Pecka authored 11 years ago
  
  1bc767d1
- Merge atrim.fsm and atrim.grammar · b95a59f1
  Tomáš Pecka authored 11 years ago
  
  b95a59f1
- atrim.grammar: throw exception if start symbol was removed · 6a17a55c
  Tomáš Pecka authored 11 years ago
  
  6a17a55c
- atrim.grammar: executable · 0a27aad0
  Tomáš Pecka authored 11 years ago
  
  0a27aad0
- atrim.grammar: Remove unproductive (and unreachable) rules · 440d026d
  Tomáš Pecka authored 11 years ago
  
  440d026d
- atrim.grammar - removal of unreachable nonterminals · 36c58323
  Tomáš Pecka authored 11 years ago
  
  36c58323
Mar 22, 2014
- atrim.grammar: executable, unproductive nonterminal search · a095e228
  Tomáš Pecka authored 11 years ago
  
  a095e228
- typo · 5883d5d0
  Jan Vesely authored 11 years ago
  
  5883d5d0
- add comments with points from definition into fsm determinization · 8bce66d7
  Jan Vesely authored 11 years ago
  
  8bce66d7
Mar 21, 2014
- add abstract determinizer, use it in adeterminize · c8a594e9
  Jan Vesely authored 11 years ago
  
  c8a594e9
- add comments to common part of determinization program · 9ac1eb03
  Jan Vesely authored 11 years ago
  
  9ac1eb03

Admin message