Skip to content
Snippets Groups Projects
  1. Mar 06, 2022
  2. Feb 23, 2022
  3. Feb 09, 2022
  4. Feb 07, 2022
  5. Jan 26, 2022
  6. Jan 10, 2022
  7. Jan 02, 2022
  8. Dec 03, 2021
  9. Nov 26, 2021
  10. Nov 23, 2021
  11. Oct 15, 2021
  12. Jul 03, 2021
  13. May 11, 2021
  14. Mar 08, 2021
  15. Jan 30, 2021
  16. Jan 02, 2021
    • Jan Trávníček's avatar
      algo: new random (non)deterministic FA generator · 03aace38
      Jan Trávníček authored
      the generator is parametrized with number of states, initial states, and final
      states; additionally duplicate, redundant, unreachable states are generated
      
      transition function is filled in transition partitions:
      {state, unreachable, redundant} vs {state, unreachable, redundant}
      03aace38
  17. Aug 06, 2020
  18. Aug 03, 2020
  19. Mar 17, 2020
  20. Nov 09, 2019
  21. Sep 16, 2019
  22. Jun 17, 2019
Loading