Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • eval eval
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 11
    • Issues 11
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
    • Requirements
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Package Registry
    • Container Registry
    • Infrastructure Registry
  • Monitor
    • Monitor
    • Metrics
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • fjafja
  • evaleval
  • Issues
  • #16
Closed
Open
Issue created Mar 23, 2022 by Vladimír Štill@xstillOwner1 of 12 checklist items completed1/12 checklist items

Webové rozhraní porovnávání a převodů

  • integrovat zadávání automatů grafickým editorem
  • kontrola syntaxe
  • zobrazování výsledných automatů (dot?, případně editorem rozšířeným o layout)
  • test na izomorfismus (tj. sedí to na převod podle algoritmu)
  • vygenerovaný řetězec pro odpovědník včetně editoru
  • generovat řetězec odpovědníku i pro izomorfismus
    • v řetězci automat jemuž to má být izomorfní
  • (? zlepšít čitelnost diagramů inkluzí)
  • konsistentně zapisovat „NFA s ε-kroky“
  • zpřístupnit CFG na webu

Administrace

  • možnost uzamknout určité části vyhodnocování jen pro autentizované (skupina FJA?)
    • celkový neautentizovaný přístup, ne po typech příkladů

bugs

  • DFA → DFA hodí error 500
(1,a)=2 (1,b)=3
(2,a)=4 (2,b)=5
(3,b)=1
(4,a)=6 (4,b)=6
(5,a)=4 (5,b)=7
(6,a)=6 (6,b)=9
(7,a)=4 (7,b)=7
(8,a)=2 (8,b)=5
(9,a)=6 (9,b)=9
final={1,3,4,5,6,7,9}
  • pro ↑ nelze vygenerovat řetězec pro odpovědník protože není kanonizovatelný (má nedosažitelné stavy)
    • → zjistit zda je nutné aby řetězec obsahoval kanonický automat
    • pokud ne, stačilo by dodat upozornění, že automat má nedostažitelné stavy (jen řetězec pro IS bez varování bych nedával)
Edited Mar 24, 2022 by Vladimír Štill
Assignee
Assign to
Time tracking