Commits · fda815ea12a8386eed3ffdc4e8cb6fb1412e270a · Algorithms Library Toolkit / Algorithms Library Toolkit Core · GitLab

Snippets Groups Projects

Apr 03, 2019
- fix compaction algo · fda815ea
  Jan Travnicek authored 6 years ago
  
  fda815ea
- add and test use automata detection traits · 320ed635
  Jan Trávníček authored 6 years ago
  
  320ed635
Apr 02, 2019
- use multimap in multi initial state epsilon nfa · 81afeebd
  Jan Travnicek authored 6 years ago
  
  81afeebd
- use multimap in CompactNFA · 72eecf03
  Jan Trávníček authored 6 years ago
  
  72eecf03
- use multimap in Extended nfa · b886587c
  Jan Trávníček authored 6 years ago
  
  b886587c
- use multiset in MultiInitialStateNFA · f59fa426
  Jan Trávníček authored 6 years ago
  
  f59fa426
- redesign templating of some automata algorithms · 0cbe5736
  Jan Trávníček authored 6 years ago
  
  0cbe5736
- use multimap in EpsilonNFA · 67c13385
  Jan Trávníček authored 6 years ago
  
  67c13385
- use multimap in NFA transitions · d30742c5
  Jan Trávníček authored 6 years ago
  
  d30742c5
- some auxiliary algorithms needed by CompactDFA · 035553d9
  Jan Trávníček authored 6 years ago
  
  035553d9
- compactise DFA to CompactDFA · 34a405c5
  Jan Trávníček authored 6 years ago
  
  34a405c5
Mar 30, 2019
- Algo: Update minimize doc · 5b6d225c
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  5b6d225c
- Algo: Compute minimal DFA using sets of undistinguishable states · 219056ce
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  219056ce
- Algo: Compute partitions of undistinguishable states · 038558a6
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  038558a6
- Algo: Distinguishable states of DFA · df4f38be
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  df4f38be
- Algo: Check whether DFA/NFA defines an infinite language · 5d7e0886
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  5d7e0886
Mar 27, 2019
- redesign trim FTA · dc65d4b1
  Jan Travnicek authored 6 years ago
  
  dc65d4b1
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
Mar 01, 2019
- fix FTA to PDA · 69f05a8b
  Jan Trávníček authored 6 years ago
  
  69f05a8b
- template FTA to PostfixPDA · 7e3f919b
  Jan Trávníček authored 6 years ago
  
  7e3f919b
- add NFA and NPDA renaming algo · c59ea8fb
  Jan Trávníček authored 6 years ago
  
  c59ea8fb
Feb 14, 2019
- fix used documentation typo · 90ca5b5c
  Jan Trávníček authored 6 years ago
  
  90ca5b5c
Feb 02, 2019
- user documentation of automata simplification · 5ab8f6aa
  Jan Trávníček authored 6 years ago
  
  5ab8f6aa
- user documentation of automata transformation · 19a1bbce
  Jan Trávníček authored 6 years ago
  
  19a1bbce
- user documentation of automata run algos · ce79e836
  Jan Trávníček authored 6 years ago
  
  ce79e836
- user documentation of algorithm properties · 496bd348
  Jan Trávníček authored 6 years ago
  
  496bd348
- user documentation of automaton generate · e22cfafb
  Jan Trávníček authored 6 years ago
  
  e22cfafb
- user documentation of automaton conversions · d9e084e8
  Jan Trávníček authored 6 years ago
  
  d9e084e8
Feb 01, 2019
- make determinisation documentation available · 161d48fd
  Jan Trávníček authored 6 years ago
  
  161d48fd
- allow setting documentation to algorithm overloads · 4ffe816a
  Jan Trávníček authored 6 years ago
  
  4ffe816a
Jan 09, 2019
- computation of full left quotient finite automata · 37b2ab8c
  Jan Trávníček authored 6 years ago
  
  37b2ab8c
- change char to string in generate algos · 38c8f183
  Jan Trávníček authored 6 years ago
  
  38c8f183
Jan 08, 2019
- drop deterministic requirement on total NFA · 10460547
  Jan Trávníček authored 6 years ago
  
  10460547
Nov 02, 2018
- add verbose automaton minimize algo · 2497083e
  Jan Trávníček authored 6 years ago
  
  2497083e
Oct 16, 2018
- remove not needed ranked_symbol wrapper · 4a9360ba
  Jan Trávníček authored 6 years ago
  
  4a9360ba
Oct 09, 2018
- redesign templates AutomatonUnion · 20ad99b0
  Jan Trávníček authored 6 years ago
  
  20ad99b0
- simplification · 2187acd5
  Jan Trávníček authored 6 years ago
  
  2187acd5
Sep 25, 2018
- add documentation to automaton run algorithms · 6bdb7424
  Jan Trávníček authored 6 years ago
  
  6bdb7424
- document automaton accept algorithm · a3a4776d
  Jan Trávníček authored 6 years ago
  
  a3a4776d
- template random automaton and grammar factory · de75b2c0
  Jan Trávníček authored 6 years ago
  
  de75b2c0