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
  • Issues
  • #278
Closed
Open
Issue created Aug 16, 2017 by Maximilien Colange@maxOwner

to_weak_alternating() is bugged

This automaton (TGBA) is NOT equivalent to its "weakification" (Gen. co-Büchi). Note that the second one has 73 states and drawing it does not help...

The first one recognizes the word (!a\&b ; a\&!b ; !a\&!b)^\omega, while the second does not. One branch of the corresponding run is 0 \rightarrow 7 \rightarrow 65 \rightarrow 15 \rightarrow 31 \rightarrow 30 \rightarrow 25 \rightarrow 31 (loop). All states in the loop (31, 30, 25) are rejecting.

Edited Aug 16, 2017 by Maximilien Colange
Assignee
Assign to
Time tracking