Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • Spot Spot
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 132
    • Issues 132
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • SpotSpot
  • SpotSpot
  • Repository
Switch branch/tag
  • spot
  • src
  • tgbaalgos
  • Makefile.am
Find file BlameHistoryPermalink
  • Felix Abecassis's avatar
    * src/tgbaalgos/minimize.cc, src/tgbaalgos/minimize.hh: · 03e6dc47
    Felix Abecassis authored Mar 20, 2010 and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed Jan 05, 2011
    New files.  Algorithm to minimize an automaton using first the powerset
    construction to determinize the input automaton, the automaton is then
    minimized using the standard algorithm, using BDDs to check if states
    are equivalent.
    03e6dc47