Skip to content

Nested word automata #19

Open
Open
Nested word automata#19
Labels
new feature

Description

@VincenzoArceri
VincenzoArceri
opened on Nov 28, 2016

Implementation of nested word automata with the implementation of all the basic operations, as for the standard automata.

Metadata

Metadata

Assignees

No one assigned

    Labels

    new feature

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions