Skip to content
Snippets Groups Projects
  1. Jan 26, 2022
  2. Jan 10, 2022
  3. Jan 02, 2022
  4. Dec 03, 2021
  5. Nov 26, 2021
  6. Nov 23, 2021
  7. Oct 15, 2021
  8. Jul 03, 2021
  9. May 11, 2021
  10. Mar 08, 2021
  11. Jan 30, 2021
  12. 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
  13. Aug 06, 2020
  14. Aug 03, 2020
  15. Mar 17, 2020
  16. Nov 09, 2019
  17. Sep 16, 2019
  18. Jun 17, 2019
Loading