Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Privacy
    • Imprint
    • Contact
    • Login methods
  • Sign in
  • C cb-visualizer
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 1
    • Issues 1
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Metrics
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • Jan Hindges
  • cb-visualizer
  • Issues
  • #2
Closed
Open
Issue created Feb 11, 2022 by Jan Hindges@jfhn47Owner

Bug with follow logs

The logs for the follow sets add a wrong {$} set if the symbol has nothing after it and that's wrong

The grammar:

S -> A B
A -> a A | epsilon
B -> b B | b

Expected:

Follow(S) = Follow(S')            = {$}
Follow(A) = First(B) ∪ Follow(A)  = {b}
Follow(B) = Follow(S) ∪ Follow(B) = {$}

Actual:

Follow(S) = { $ } u Follow(S') = { $ }
Follow(A) = First(B) u { $ } u Follow(A) = { b }
Follow(B) = { $ } u Follow(S) u Follow(B) = { $ }
Assignee
Assign to
Time tracking